Pages that link to "Item:Q2039888"
From MaRDI portal
The following pages link to Reversible occurrence nets and causal reversible prime event structures (Q2039888):
Displaying 6 items.
- Formal translation from reversing Petri nets to coloured Petri nets (Q2097427) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- Towards a Truly Concurrent Semantics for Reversible CCS (Q5162605) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)
- A reversible perspective on Petri nets and event structures (Q6636620) (← links)
