The following pages link to (Q5129948):
Displaying 10 items.
- A Petri net view of covalent bonds (Q2077408) (← links)
- Formal translation from reversing Petri nets to coloured Petri nets (Q2097427) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- Controlled reversibility in communicating reaction systems (Q2152435) (← links)
- An axiomatic approach to reversible computation (Q2200840) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- (Q5028437) (← links)
- (Q5129948) (← links)
- Towards a Truly Concurrent Semantics for Reversible CCS (Q5162605) (← links)
- Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
