Pages that link to "Item:Q5918352"
From MaRDI portal
The following pages link to Event structure semantics of (controlled) reversible CCS (Q5918352):
Displayed 9 items.
- Concurrencies in reversible concurrent calculi (Q2097423) (← links)
- Preface to the special issue on the 12th workshop on programming language approaches to concurrency and communication-centric software (PLACES) 2020 (Q2141295) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Towards a Truly Concurrent Semantics for Reversible CCS (Q5162605) (← links)
- Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
- Towards a taxonomy for reversible computation approaches (Q6148104) (← links)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)