Pages that link to "Item:Q5162605"
From MaRDI portal
The following pages link to Towards a Truly Concurrent Semantics for Reversible CCS (Q5162605):
Displaying 7 items.
- A Petri net view of covalent bonds (Q2077408) (← links)
- The reversible temporal process language (Q2165209) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- (Q4537510) (← links)
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)