BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems.

Wanling Xie, Huibiao Zhu, Qiwen Xu

Browse the full ICECCS paper archive.