Author:
Bracciali Andrea,Brogi Antonio,Turini Franco
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference52 articles.
1. A calculus of mobile processes, I and II;Milner;Information and Computation,1992
2. D. Sangiorgi, Expressing mobility in process algebras: first-order and higher-order paradigms, Ph.D. thesis, Department of Computer Science, University of Edinburgh, 1992
3. Comparing syntactic and semantic action refinement;Goltz;Information and Computation,1996
4. A calculus for cryptographic protocols: the spi calculus;Abadi;Information and Computation,1999
5. R. De Nicola, G. Ferrari, R. Pugliese, KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering 24 (5) (1998) 315–330; Special Issue: Mobility and Network Aware Computing
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Software composition with Linda;Computer Languages, Systems & Structures;2009-12
2. Process Algebra with Local Communication;Electronic Notes in Theoretical Computer Science;2008-06