In the context of CCSK, a reversible extension of CCS, we study observational equivalences that distinguish forward moves from backward ones. We present a refinement of the notion of forward-reverse bisimilarity and show that it coincides with a notion of forward-reverse barbed congruence. We also show a set of sound axioms allowing one to reason equationally on process equivalences.
Forward-Reverse Observational Equivalences in CCSK / Lanese I.; Phillips I.. - STAMPA. - 12805:(2021), pp. 126-143. (Intervento presentato al convegno 13th International Conference on Reversible Computation, RC 2021 tenutosi a Nagoya, Japan (online due to covid) nel July 7 - July 8, 2021) [10.1007/978-3-030-79837-6_8].
Forward-Reverse Observational Equivalences in CCSK
Lanese I.
;
2021
Abstract
In the context of CCSK, a reversible extension of CCS, we study observational equivalences that distinguish forward moves from backward ones. We present a refinement of the notion of forward-reverse bisimilarity and show that it coincides with a notion of forward-reverse barbed congruence. We also show a set of sound axioms allowing one to reason equationally on process equivalences.| File | Dimensione | Formato | |
|---|---|---|---|
|
main.pdf
accesso aperto
Tipo:
Postprint
Licenza:
Licenza per accesso libero gratuito
Dimensione
513.56 kB
Formato
Adobe PDF
|
513.56 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
