Pages that link to "Item:Q3186581"
From MaRDI portal
The following pages link to Rigid Families for the Reversible $$\pi $$ -Calculus (Q3186581):
Displaying 7 items.
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- Reversible sessions with flexible choices (Q2329306) (← links)
- Towards a categorical representation of reversible event structures (Q2423742) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Concurrent Reversible Sessions (Q5111644) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
