Pages that link to "Item:Q347363"
From MaRDI portal
The following pages link to Contextual equivalences in configuration structures and reversibility (Q347363):
Displaying 11 items.
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- Concurrencies in reversible concurrent calculi (Q2097423) (← links)
- Towards a categorical representation of reversible event structures (Q2423742) (← links)
- (Q5028420) (← links)
- (Q5089270) (← 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)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)
