Pages that link to "Item:Q3453755"
From MaRDI portal
The following pages link to Controlled Reversibility and Compensations (Q3453755):
Displaying 10 items.
- Reversible session-based pi-calculus (Q492908) (← links)
- Controlled reversibility in reaction systems (Q1749154) (← links)
- Simulating reversible computation with reaction systems (Q1982972) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- Controlling Reversibility in Higher-Order Pi (Q3090837) (← links)
- A Calculus for Local Reversibility (Q3186582) (← links)
- Static VS Dynamic Reversibility in CCS (Q3186583) (← links)
- (Q5089300) (← links)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications (Q5237227) (← links)