Reversible computation in nets with bonds
From MaRDI portal
Publication:2667186
DOI10.1016/j.jlamp.2021.100718zbMath1505.68028OpenAlexW3199313806MaRDI QIDQ2667186
Publication date: 24 November 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.100718
Related Items (5)
A collective interpretation semantics for reversing Petri nets ⋮ Unnamed Item ⋮ A Petri net view of covalent bonds ⋮ Lifted structural invariant analysis of Petri net product lines ⋮ Formal translation from reversing Petri nets to coloured Petri nets
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Reversibility and asymmetric conflict in event structures
- Petri nets with individual tokens
- Sequential and concurrent behaviour in Petri net theory
- The chemical abstract machine
- A note on transition systems
- Reversible computation in Petri nets
- Reversible occurrence nets and causal reversible prime event structures
- General Reversibility
- Modelling of Bonding with Processes and Events
- Controlling Reversibility in Higher-Order Pi
- A Calculus for Local Reversibility
- Reversible Computation vs. Reversibility in Petri Nets
- Concurrency and Reversibility
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- Rule-Based Modelling of Cellular Signalling
- Reversing Higher-Order Pi
- Irreversibility and Heat Generation in the Computing Process
- Understanding Petri Nets
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications
- A Compositional Semantics for the Reversible p-Calculus
- CONCUR 2004 - Concurrency Theory
- Concurrent Flexible Reversibility
- CONCUR 2005 – Concurrency Theory
- CONCUR 2005 – Concurrency Theory
- Foundations of Software Science and Computation Structures
This page was built for publication: Reversible computation in nets with bonds
