Information Technology Reference
In-Depth Information
10. Rathke, J., Sobocinski, P.: Deriving structural labelled transitions for mobile ambients. Pro-
ceedings of the 19th International Conference on Concurrency Theory, Lecture Notes in
Computer Science, vol. 5201, pp. 462-476. Springer (2008)
11. Fournet, C., Gonthier, G.: A hierarchy of equivalences for asynchronous calculi. J. Log.
Algebraic Program.
63
(1), 131-173 (2005)
12. Sangiorgi, D., Walker, D.: The
ˀ
-Calculus: a Theory of Mobile Processes. Cambridge
University Press, Cambridge (2001)