Publisher
Oxford University Press (OUP)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dynamics of reputation in mobile agents systems and weighted timed automata;Information and Computation;2022-01
2. A UTP approach for rTiMo;Formal Aspects of Computing;2018-11
3. BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems;2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS);2017-11
4. UTP Semantics for rTiMo;Unifying Theories of Programming;2017
5. Verification of critical systems described in real-time TiMo;International Journal on Software Tools for Technology Transfer;2016-11-02