Pages that link to "Item:Q2868444"
From MaRDI portal
The following pages link to Modelling of Bonding with Processes and Events (Q2868444):
Displaying 11 items.
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- Concurrent semantics for fusions: weak prime domains and connected event structures (Q2051794) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← 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)
- Towards Modelling of Local Reversibility (Q2822522) (← links)
- A Calculus for Local Reversibility (Q3186582) (← links)
- (Q3384917) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- Relating reversible Petri nets and reversible event structures, categorically (Q6535471) (← links)
