Pages that link to "Item:Q3186583"
From MaRDI portal
The following pages link to Static VS Dynamic Reversibility in CCS (Q3186583):
Displaying 7 items.
- The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- (Q3384917) (← links)
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
