Pages that link to "Item:Q5162605"
From MaRDI portal
The following pages link to Towards a Truly Concurrent Semantics for Reversible CCS (Q5162605):
Displayed 5 items.
- A Petri net view of covalent bonds (Q2077408) (← links)
- The reversible temporal process language (Q2165209) (← links)
- Towards a taxonomy for reversible computation approaches (Q6148104) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)