Pages that link to "Item:Q2423742"
From MaRDI portal
The following pages link to Towards a categorical representation of reversible event structures (Q2423742):
Displaying 7 items.
- Reversible sessions with flexible choices (Q2329306) (← links)
- Special issue on the tenth workshop on programming language approaches to concurrency- and communication-centric software (Q2423778) (← 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)
- Relating reversible Petri nets and reversible event structures, categorically (Q6535471) (← links)
