Pages that link to "Item:Q2022303"
From MaRDI portal
The following pages link to Static versus dynamic reversibility in CCS (Q2022303):
Displaying 11 items.
- Concurrencies in reversible concurrent calculi (Q2097423) (← links)
- The reversible temporal process language (Q2165209) (← links)
- Towards Bridging Time and Causal Reversibility (Q5041271) (← links)
- (Q5089270) (← links)
- Towards a Truly Concurrent Semantics for Reversible CCS (Q5162605) (← links)
- Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
