Towards a categorical representation of reversible event structures
From MaRDI portal
Publication:2423742
DOI10.1016/j.jlamp.2019.01.001zbMath1427.68196arXiv1704.03099OpenAlexW2909609903MaRDI QIDQ2423742
Nobuko Yoshida, Eva Graversen, Iain Phillips
Publication date: 20 June 2019
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1704.03099
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories of machines, automata (18B20) Other nonclassical models of computation (68Q09)
Related Items
Special issue on the tenth workshop on programming language approaches to concurrency- and communication-centric software ⋮ Event structure semantics for multiparty sessions ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Event structures for the reversible early internal \(\pi\)-calculus ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Contextual equivalences in configuration structures and reversibility
- Reversibility and asymmetric conflict in event structures
- Contextual Petri nets, asymmetric event structures, and processes
- General Reversibility
- Modelling of Bonding with Processes and Events
- Reversibility and Models for Concurrency
- Rigid Families for the Reversible $$\pi $$ -Calculus
- Concurrency and Reversibility
- 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
- Foundations of Software Science and Computation Structures
- Event structure semantics of (controlled) reversible CCS