Syncrony vs Asynchrony in Communication Primitives

Daniele Gorla

Paper appeared in the 13th International Workshop on Expressiveness in Concurrency (EXPRESS '06), Bonn (Germany), August  26th, 2006.


We study, from the expressiveness point of view, the impact of synchrony in the communication primitives arising when combining together some common and useful programming features like arity of data, communication medium and possibility of pattern matching. For some primitives, we show how their synchronous version can be encoded in their asynchronous counterpart via a fully abstract encoding, thus proving that the two versions have the same expressive power. For the remaining primitives, we prove that no `reasonable' encoding can exist, thus proving that synchrony adds expressiveness to the language.

  author    =   {D. Gorla},
  title     =   {Synchrony vs Asynchrony in Communication Primitives},
  editor    =   {R. Amadio and I. Phillips},
  booktitle =   {Proc. of 13th International Workshop on Expressiveness in Concurrency (EXPRESS'06)},
  series    =   {ENTCS},
  volume    =  	{175},
  number    =  	{3},
  pages     =  	{87--108},
  year      =  	{2007},
  publisher =   {Elsevier},

Home page / Publications