Reversibility and asymmetric conflict in event structures

DOI10.1016/J.JLAMP.2015.07.004zbMATH Open1330.68213OpenAlexW2000492932MaRDI QIDQ890616FDOQ890616

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

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

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)

Cites Work

• Petri nets, event structures and domains. I
• Reversing algebraic process calculi
• Reversibility and Asymmetric Conflict in Event Structures
• General reversibility
• Title not available (Why is that?)
• Controlling Reversibility in Higher-Order Pi
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Reversing Higher-Order Pi
• CONCUR 2004 - Concurrency Theory
• Concurrent Flexible Reversibility
• CONCUR 2005 – Concurrency Theory
• The chemical abstract machine
• Refinement of actions and equivalence notions for concurrent systems
• Configuration structures, event structures and Petri nets
• Contextual Petri nets, asymmetric event structures, and processes
• A logic for true concurrency
• Title not available (Why is that?)
• A hierarchy of reverse bisimulations on stable configuration structures
• On the nature of events
• Modelling of Bonding with Processes and Events
• Concurrency and Reversibility
• Event Identifier Logic

Cited In (24)

• Reversible computation in nets with bonds
• Title not available (Why is that?)
• Investigating Reversibility of Steps in Petri Nets
• Event structures for the reversible early internal \(\pi\)-calculus
• An axiomatic approach to reversible computation
• Concurrent Reversible Sessions
• Towards a taxonomy for reversible computation approaches
• Reversible sessions with flexible choices
• Title not available (Why is that?)
• Towards a categorical representation of reversible event structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Global types and event structure semantics for asynchronous multiparty sessions
• Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
• A reversible perspective on Petri nets and event structures
• Event structure semantics of (controlled) reversible CCS
• A collective interpretation semantics for reversing Petri nets
• Reversing Steps in Petri Nets
• An axiomatic theory for reversible computation
• Reversible Imperative Parallel Programs and Debugging
• Reversible Computation vs. Reversibility in Petri Nets
• 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)