Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculi
Catuscia Palamidessi · 1997
this paper we focus on the distinction between synchronous and asynchronous. Synchronous communication is usually understood as simultaneous exchange of information between the partners; a"real life" example is the telephone . In contrast, in asynchronous communication the action of sending a message and the action of reading it Work supported by the NSF-POWRE grant EIA-0074909