Pages that link to "Item:Q2216133"
From MaRDI portal
The following pages link to A parametric framework for reversible \(\pi\)-calculi (Q2216133):
Displaying 7 items.
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- Concurrencies in reversible concurrent calculi (Q2097423) (← links)
- The reversible temporal process language (Q2165209) (← links)
- (Q5129948) (← links)
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
