Forward-Reverse Observational Equivalences in CCSK

DOI10.1007/978-3-030-79837-6_8zbMath1476.68097OpenAlexW3174127043MaRDI QIDQ5162606

Iain Phillips, Ivan Lanese

Publication date: 3 November 2021

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/91293

zbMATH Keywords

axiomatizationCCSKforward-reverse barbed congruenceforward-reverse bisimilarity

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Other nonclassical models of computation (68Q09)

Related Items (8)

The reversible temporal process language ⋮ Reverse bisimilarity vs. forward bisimilarity ⋮ Replications in reversible concurrent calculi ⋮ Implementation of a reversible distributed calculus ⋮ revTPL: The Reversible Temporal Process Language ⋮ The correctness of concurrencies in (reversible) concurrent calculi ⋮ Processes against tests: on defining contextual equivalences ⋮ Concurrencies in reversible concurrent calculi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reversibility in the higher-order \(\pi\)-calculus
• Contextual equivalences in configuration structures and reversibility
• On reduction-based process semantics
• Cauder: a causal-consistent reversible debugger for Erlang
• A theory of reversibility for Erlang
• Static versus dynamic reversibility in CCS
• Reversible sessions with flexible choices
• Reversing algebraic process calculi
• Reversibility and Models for Concurrency
• A hierarchy of reverse bisimulations on stable configuration structures
• A Verification Technique for Reversible Process Algebra
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Irreversibility and Heat Generation in the Computing Process
• Time, clocks, and the ordering of events in a distributed system
• A Compositional Semantics for the Reversible p-Calculus
• CONCUR 2004 - Concurrency Theory
• Event Identifier Logic
• Event structure semantics of (controlled) reversible CCS

This page was built for publication: Forward-Reverse Observational Equivalences in CCSK