Forward-reverse observational equivalences in CCSK
File(s)
Accepted version
Author(s)
Lanese, I
Phillips, I
Type
Conference Paper
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.
Date Issued
2021-06-23
Date Acceptance
2021-04-25
Citation
Lecture Notes in Computer Science, 2021, 12805, pp.126-143
ISBN
9783030798369
ISSN
0302-9743
Publisher
Springer Verlag
Start Page
126
End Page
143
Journal / Book Title
Lecture Notes in Computer Science
Volume
12805
Copyright Statement
© Springer Nature Switzerland AG 2021. The final publication is available at Springer via https://link.springer.com/chapter/10.1007%2F978-3-030-79837-6_8
Source
13th International Conference on Reversible Computation 2021
Subjects
Artificial Intelligence & Image Processing
Publication Status
Published
Start Date
2021-07-07
Finish Date
2021-07-08
Coverage Spatial
Virtual