In this paper, we study eight asynchronous communication primitives, arising from the combination of three features: arity (monadic vs polyadic data), communication medium (message passing vs shared dataspaces) and patternmatching. Each primitive has been already used in at least one language appeared in literature; however, to uniformly reason on such primitives, we plugged them in a common framework inspired by the asynchronous π-calculus. By means of possibility/impossibility of 'reasonable' encodings, we compare every pair of primitives to obtain a hierarchy of languages based on their relative expressive power. © Springer-Verlag Berlin Heidelberg 2006.

On the relative expressive power of asynchronous communication primitives / Gorla, Daniele. - STAMPA. - 3921 LNCS:(2006), pp. 47-62. (Intervento presentato al convegno 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 tenutosi a Vienna nel 25 March 2006 through 31 March 2006) [10.1007/11690634_4].

On the relative expressive power of asynchronous communication primitives

GORLA, DANIELE
2006

Abstract

In this paper, we study eight asynchronous communication primitives, arising from the combination of three features: arity (monadic vs polyadic data), communication medium (message passing vs shared dataspaces) and patternmatching. Each primitive has been already used in at least one language appeared in literature; however, to uniformly reason on such primitives, we plugged them in a common framework inspired by the asynchronous π-calculus. By means of possibility/impossibility of 'reasonable' encodings, we compare every pair of primitives to obtain a hierarchy of languages based on their relative expressive power. © Springer-Verlag Berlin Heidelberg 2006.
2006
9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
On the relative expressive power of asynchronous communication primitives / Gorla, Daniele. - STAMPA. - 3921 LNCS:(2006), pp. 47-62. (Intervento presentato al convegno 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 tenutosi a Vienna nel 25 March 2006 through 31 March 2006) [10.1007/11690634_4].
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/59058
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 16
  • ???jsp.display-item.citation.isi??? 14
social impact