| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Forward-Reverse Observational Equivalences in CCSK
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.
https://hal.inria.fr/hal-03338669
Contributor : Ivan Lanese Connect in order to contact the contributor
Submitted on : Thursday, September 9, 2021 - 12:01:42 AM
Last modification on : Friday, January 21, 2022 - 3:22:56 AM
Long-term archiving on: : Friday, December 10, 2021 - 6:09:49 PM
Contributor : Ivan Lanese Connect in order to contact the contributor
Submitted on : Thursday, September 9, 2021 - 12:01:42 AM
Last modification on : Friday, January 21, 2022 - 3:22:56 AM
Long-term archiving on: : Friday, December 10, 2021 - 6:09:49 PM
File
main.pdf
Files produced by the author(s)