Event structure semantics of (controlled) reversible CCS

DOI10.1016/j.jlamp.2021.100686OpenAlexW4210645943MaRDI QIDQ5918352

Eva Graversen, Iain Phillips, Nobuko Yoshida

Publication date: 3 August 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100686

zbMATH Keywords

denotational semanticsevent structuresCCSreversible computationsstatic reversibility

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (9)

Preface to the special issue on the 12th workshop on programming language approaches to concurrency and communication-centric software (PLACES) 2020 ⋮ Event structure semantics for multiparty sessions ⋮ Towards a taxonomy for reversible computation approaches ⋮ The correctness of concurrencies in (reversible) concurrent calculi ⋮ Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures ⋮ Towards a Truly Concurrent Semantics for Reversible CCS ⋮ Forward-Reverse Observational Equivalences in CCSK ⋮ Event structures for the reversible early internal \(\pi\)-calculus ⋮ Concurrencies in reversible concurrent calculi

Uses Software

• CauDEr

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Strategies as concurrent processes
• Contextual equivalences in configuration structures and reversibility
• Causal-consistent rollback in a tuple-based language
• Reversibility and asymmetric conflict in event structures
• Parallel product of event structures
• Cauder: a causal-consistent reversible debugger for Erlang
• Bundle event structures: a revised cpo approach.
• Static versus dynamic reversibility in CCS
• Towards a categorical representation of reversible event structures
• Reversing algebraic process calculi
• Modelling of Bonding with Processes and Events
• Reversibility and Models for Concurrency
• Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
• Controlling Reversibility in Higher-Order Pi
• Rigid Families for the Reversible $$\pi $$ -Calculus
• Static VS Dynamic Reversibility in CCS
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Reversing Higher-Order Pi
• A Compositional Semantics for the Reversible p-Calculus
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Event structure semantics of (controlled) reversible CCS

This page was built for publication: Event structure semantics of (controlled) reversible CCS