Concurrent reversible processes are given sound and complete expansion laws for forward, reverse, and forward-reverse bisimilarities by annotating action prefixes with backward ready sets in proved encodings.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
Concurrent reversible processes are given sound and complete expansion laws for forward, reverse, and forward-reverse bisimilarities by annotating action prefixes with backward ready sets in proved encodings.