Pages that link to "Item:Q3186582"
From MaRDI portal
The following pages link to A Calculus for Local Reversibility (Q3186582):
Displaying 9 items.
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- A Petri net view of covalent bonds (Q2077408) (← links)
- From reversible programming languages to reversible metalanguages (Q2139051) (← links)
- Modelling of DNA mismatch repair with a reversible process calculus (Q2148904) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- (Q5129948) (← links)
- Reversibility and Predictions (Q5162608) (← links)
