Author:
De Nicola Rocco,Gorla Daniele,Pugliese Rosario
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference38 articles.
1. On modelling mobility;Amadio;Theor. Comput. Sci.,2000
2. On bisimulations for the asynchronous π-calculus;Amadio;Theor. Comput. Sci.,1998
3. Mobile distributed programming in X-Klaim;Bettini,2005
4. Interactive mobile agents in X-Klaim;Bettini,1998
5. Testing equivalences for mobile processes;Boreale;Inform. Comput.,1995
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Coordinating and programming multiple ROS-based robots with X-KLAIM;International Journal on Software Tools for Technology Transfer;2023-11-02
2. Programming Multi-robot Systems with X-KLAIM;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022
3. A formal approach to open multiparty interactions;Theoretical Computer Science;2019-04
4. A Calculus for Open Ensembles and Their Composition;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016
5. Network-Conscious pi-calculus-A Model of Pastry;ELECTRON NOTES THEOR;2015