Pages that link to "Item:Q890616"
From MaRDI portal
The following pages link to Reversibility and asymmetric conflict in event structures (Q890616):
Displaying 17 items.
- A Petri net view of covalent bonds (Q2077408) (← links)
- An axiomatic approach to reversible computation (Q2200840) (← links)
- Reversible sessions with flexible choices (Q2329306) (← links)
- Towards a categorical representation of reversible event structures (Q2423742) (← links)
- Reversible computation in nets with bonds (Q2667186) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Reversible Computation vs. Reversibility in Petri Nets (Q3186587) (← links)
- Investigating Reversibility of Steps in Petri Nets (Q5025059) (← links)
- (Q5028437) (← links)
- Concurrent Reversible Sessions (Q5111644) (← links)
- (Q5114821) (← links)
- (Q5129948) (← links)
- Reversible Imperative Parallel Programs and Debugging (Q5237216) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)
