Event structure semantics of (controlled) reversible CCS

DOI10.1016/J.JLAMP.2021.100686MaRDI QIDQ5918352zbMATH OpenOpenAlexFDO

Authors 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

CCSdenotational semanticsevent structuresreversible computationsstatic reversibility

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Event structure semantics of (controlled) reversible CCS
• Reversibility and asymmetric conflict in event structures
• Reversibility and asymmetric conflict in event structures
• Towards a categorical representation of reversible event structures
• Static versus dynamic reversibility in CCS

Cites work

• A compositional semantics for the reversible -calculus
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Bundle event structures: a revised cpo approach.
• Cauder: a causal-consistent reversible debugger for Erlang
• Causal-consistent reversibility
• Causal-consistent rollback in a tuple-based language
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Contextual equivalences in configuration structures and reversibility
• Controlling Reversibility in Higher-Order Pi
• Event structure semantics of (controlled) reversible CCS
• Event structure semantics of parallel extrusion in the pi-calculus
• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 3651760 (Why is no real title available?)
• scientific article; zbMATH DE number 4119615 (Why is no real title available?)
• Modelling of Bonding with Processes and Events
• Parallel product of event structures
• Reversibility and asymmetric conflict in event structures
• Reversibility and models for concurrency
• Reversing algebraic process calculi
• Reversing Higher-Order Pi
• Rigid families for the reversible -calculus
• Static versus dynamic reversibility in CCS
• Static VS Dynamic Reversibility in CCS
• Strategies as concurrent processes
• Towards a categorical representation of reversible event structures

Cited in

(11)

• Concurrencies in reversible concurrent calculi
• 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 Truly Concurrent Semantics for Reversible CCS
• Forward-reverse observational equivalences in CCSK
• Event structures for the reversible early internal \(\pi\)-calculus
• 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
• Relating reversible Petri nets and reversible event structures, categorically
• A truly concurrent semantics for reversible CCS

Describes a project that uses

Uses Software

• CauDEr

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5918352)