Author:
De Nicola Rocco,Gorla Daniele,Pugliese Rosario
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Amadio, R.M.: On modelling mobility. Theor. Comp. Sci. 240(1), 147–176 (2000)
2. Bettini, L., De Nicola, R., Ferrari, G., Pugliese, R.: Interactive Mobile Agents in X-Klaim. In: Proc. of the 7th WETICE, pp. 110–115. IEEE, Los Alamitos (1998)
3. Boreale, M., De Nicola, R.: Testing equivalences for mobile processes. Information and Computation 120, 279–303 (1995)
4. Boreale, M., De Nicola, R., Pugliese, R.: Basic observables for processes. Information and Computation 149(1), 77–98 (1999)
5. Boreale, M., De Nicola, R., Pugliese, R.: Trace and testing equivalence on asynchronous processes. Information and Computation 172, 139–164 (2002)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. X-Klaim Is Back;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
2. Safety versus Security in the Quality Calculus;Theories of Programming and Formal Methods;2013
3. On the expressive power of KLAIM-based calculi;Theoretical Computer Science;2006-05
4. Bigraphical Models of Context-Aware Systems;Lecture Notes in Computer Science;2006
5. A Mobility Calculus with Local and Dependent Types;Processes, Terms and Cycles: Steps on the Road to Infinity;2005