On synchronous and asynchronous mobile processes. (English) Zbl 0961.68092
Tiuryn, Jerzy (ed.), Foundations of software science and computation structures. 3rd international conference, FOSSACS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1784, 283-296 (2000).
Summary: This paper studies the relationship between synchronous and asynchronous mobile processes, in the setting of the \(\pi\)-calculus. A type system for processes of the asynchronous monadic subcalculus is introduced and used to obtain a full-abstraction result: two processes of the polyadic \(\pi\)-calculus are typed barbed congruent iff their translations into the subcalculus are asynchronous-monadic-typed barbed congruent.
For the entire collection see [Zbl 0935.00045].
For the entire collection see [Zbl 0935.00045].
MSC:
| 68Q85 | Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) |
