Pages that link to "Item:Q347363"
From MaRDI portal
The following pages link to Contextual equivalences in configuration structures and reversibility (Q347363):
Displaying 6 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)
- (Q5089270) (← links)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)
