CATALOGO DEI PRODOTTI DELLA RICERCA
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 give a labeled characterization of barbed congruence in asynchronous pi-calculus, which, unlike previous characterizations, does not use the matching construct. In absence of matching the observer cannot directly distinguish two names. In asynchronous pi-calculus the fact that two names are indistinguishable can be modeled by means of Honda and Yoshida's notion of equator. Our labeled characterization is based on such a notion. As an application of our theory we provide a fully abstract encoding with respect to barbed congruence of external mobility (communication of free names) in terms of internal mobility (communication of private names).
| Titolo: | On equators in asynchronous name-passing calculi without matching (extended abstract) |
| Autori: | |
| Data di pubblicazione: | 1999 |
| Rivista: | |
| Abstract: | We give a labeled characterization of barbed congruence in asynchronous pi-calculus, which, unlike previous characterizations, does not use the matching construct. In absence of matching the observer cannot directly distinguish two names. In asynchronous pi-calculus the fact that two names are indistinguishable can be modeled by means of Honda and Yoshida's notion of equator. Our labeled characterization is based on such a notion. As an application of our theory we provide a fully abstract encoding with respect to barbed congruence of external mobility (communication of free names) in terms of internal mobility (communication of private names). |
| Handle: | http://hdl.handle.net/11562/20887 |
| Appare nelle tipologie: | 04.01 Contributo in atti di convegno |
File in questo prodotto:
Copyright © 2020