We present two novel semantics for pi-calculus. The first allows one to observe on which channel a synchronization is performed, while the second allows concurrent actions, provided that they do not compete for resources. We present both a reduction and a labeled semantics, and show that they induce the same behavioral equivalence. As our main result we show that bisimilarity is a congruence for the concurrent semantics. This important property fails for the standard semantics.
Concurrent and Located Synchronizations in Pi-Calculus / LANESE I.. - STAMPA. - 4362:(2007), pp. 388-399. (Intervento presentato al convegno 33rd International Conference on Current Trends in Theory and Practice of Computer Science tenutosi a Harrachov, Czech Republic nel 20-26/1/2007) [10.1007/978-3-540-69507-3_33].
Concurrent and Located Synchronizations in Pi-Calculus
LANESE, IVAN
2007
Abstract
We present two novel semantics for pi-calculus. The first allows one to observe on which channel a synchronization is performed, while the second allows concurrent actions, provided that they do not compete for resources. We present both a reduction and a labeled semantics, and show that they induce the same behavioral equivalence. As our main result we show that bisimilarity is a congruence for the concurrent semantics. This important property fails for the standard semantics.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
