Pages that link to "Item:Q2097423"
From MaRDI portal
The following pages link to Concurrencies in reversible concurrent calculi (Q2097423):
Displaying 9 items.
- Contextual equivalences in configuration structures and reversibility (Q347363) (← links)
- Alternation and bounded concurrency are reverse equivalent. (Q1854297) (← links)
- Concurrencies in reversible concurrent calculi (Q2097423) (← links)
- Time-reversal homotopical properties of concurrent systems (Q2183474) (← links)
- Quantitative Analysis of Concurrent Reversible Computations (Q2945596) (← links)
- (Q5028420) (← links)
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)