Reversibility and asymmetric conflict in event structures

DOI10.1016/J.JLAMP.2015.07.004MaRDI QIDQ890616zbMATH OpenOpenAlexFDO

Authors Iain Phillips, Irek Ulidowski

Publication date 10 November 2015

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.2015.07.004

zbMATH Keywords

reversible computationasymmetric conflictevent structure

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Reversibility and asymmetric conflict in event structures
• Towards a categorical representation of reversible event structures
• Concurrency and reversibility
• Reversible computation in Petri nets
• Event structure semantics of (controlled) reversible CCS

Cites work

• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 4119615 (Why is no real title available?)
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• A hierarchy of reverse bisimulations on stable configuration structures
• A logic for true concurrency
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Concurrency and reversibility
• Concurrent flexible reversibility
• Configuration structures, event structures and Petri nets
• Contextual Petri nets, asymmetric event structures, and processes
• Controlling Reversibility in Higher-Order Pi
• Event identifier logic
• General reversibility
• Modelling of Bonding with Processes and Events
• On the nature of events
• Petri nets, event structures and domains. I
• Refinement of actions and equivalence notions for concurrent systems
• Reversibility and asymmetric conflict in event structures
• Reversing Higher-Order Pi
• Reversing algebraic process calculi
• The chemical abstract machine

Cited in

(27)

• Reversible computation in nets with bonds
• scientific article; zbMATH DE number 7215282 (Why is no real title available?)
• Event structure semantics of (controlled) reversible CCS
• Event structures for the reversible early internal \(\pi\)-calculus
• An axiomatic approach to reversible computation
• Towards a taxonomy for reversible computation approaches
• Reversibility and asymmetric conflict in event structures
• Reversible sessions with flexible choices
• Towards a categorical representation of reversible event structures
• scientific article; zbMATH DE number 7269252 (Why is no real title available?)
• Reversible computation vs. reversibility in Petri nets
• Global types and event structure semantics for asynchronous multiparty sessions
• Investigating reversibility of steps in Petri nets
• Concurrent reversible sessions
• Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
• A reversible perspective on Petri nets and event structures
• A collective interpretation semantics for reversing Petri nets
• Concurrency and reversibility
• Event structure semantics of (controlled) reversible CCS
• Token multiplicity in reversing Petri nets under the individual token interpretation
• Reversible Imperative Parallel Programs and Debugging
• Reversing Steps in Petri Nets
• An axiomatic theory for reversible computation
• A new operational representation of dependencies in event structures
• A Petri net view of covalent bonds
• Event structure semantics for multiparty sessions
• Relating reversible Petri nets and reversible event structures, categorically

This page was built for publication: Reversibility and asymmetric conflict in event structures

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