Author:
Xie Wanling,Zhu Huibiao,Qin Shengchao
Publisher
Springer International Publishing
Reference10 articles.
1. Xie, W., Zhu, H., Xu, Q.: BigrTiMo - a process algebra for structure-aware mobile systems. In: ICECCS 2017, Fukuoka, Japan, 6–8 November 2017, pp. 50–59 (2017)
2. Lecture Notes in Computer Science;B Aman,2013
3. Milner, R.: The Space and Motion of Communicating Agents. Cambridge University Press, Cambridge (2009)
4. Prentice Hall International Series in Computer Science;CAR Hoare,1998
5. Ciobanu, G., Koutny, M.: Timed mobility in process algebra and Petri nets. J. Log. Algebr. Program. 80(7), 377–391 (2011)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A process calculus BigrTiMo of mobile systemsand its formal semantics;Formal Aspects of Computing;2021-03
2. An Axiomatic Approach to BigrTiMo;2020 International Symposium on Theoretical Aspects of Software Engineering (TASE);2020-12