We introduce a process calculus for nondeterministic systems that are reversible, i.e., capable of undoing their actions starting from the last performed one. The considered systems are sequential so as to be neutral with respect to interleaving semantics vs. truly concurrent semantics of parallel composition. As a natural continuation of previous work on strong bisimilarity in this reversible setting, we investigate compositionality properties and equational characterizations of weak variants of forward-reverse bisimilarity as well as of its two components, i.e., weak forward bisimilarity and weak reverse bisimilarity.
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity
Bernardo, M.;Esposito, A.
2023
Abstract
We introduce a process calculus for nondeterministic systems that are reversible, i.e., capable of undoing their actions starting from the last performed one. The considered systems are sequential so as to be neutral with respect to interleaving semantics vs. truly concurrent semantics of parallel composition. As a natural continuation of previous work on strong bisimilarity in this reversible setting, we investigate compositionality properties and equational characterizations of weak variants of forward-reverse bisimilarity as well as of its two components, i.e., weak forward bisimilarity and weak reverse bisimilarity.File in 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.
