CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishWe 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.
| Titolo: | Concurrent and Located Synchronizations in Pi-Calculus | |
| Autore/i: | LANESE, IVAN | |
| Autore/i Unibo: | ||
| Anno: | 2007 | |
| Serie: | ||
| Titolo del libro: | Proceedings of SOFSEM'07, 33rd International Conference on Current Trends in Theory and Practice of Computer Science | |
| Pagina iniziale: | 388 | |
| Pagina finale: | 399 | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-540-69507-3_33 | |
| 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. | |
| Data prodotto definitivo in UGOV: | 26-giu-2013 | |
| Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
http://hdl.handle.net/11585/104488
Copyright © 2021