Pages that link to "Item:Q3090837"
From MaRDI portal
The following pages link to Controlling Reversibility in Higher-Order Pi (Q3090837):
Displaying 32 items.
- Reversibility in the higher-order \(\pi\)-calculus (Q264996) (← links)
- Reversible client/server interactions (Q315298) (← links)
- Reversible session-based pi-calculus (Q492908) (← links)
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- Reversibility and asymmetric conflict in event structures (Q890616) (← links)
- A theory of reversibility for Erlang (Q1785852) (← links)
- Controlled reversibility in communicating reaction systems (Q2152435) (← links)
- The reversible temporal process language (Q2165209) (← links)
- An axiomatic approach to reversible computation (Q2200840) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- Reversible sessions with flexible choices (Q2329306) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← 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)
- Reversing Single Sessions (Q3186584) (← links)
- A Verification Technique for Reversible Process Algebra (Q3453753) (← links)
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway (Q3453754) (← links)
- Controlled Reversibility and Compensations (Q3453755) (← links)
- Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs (Q4989177) (← links)
- (Q5015360) (← links)
- (Q5028420) (← links)
- (Q5089300) (← links)
- Concurrent Reversible Sessions (Q5111644) (← links)
- (Q5129948) (← links)
- Causal-Consistent Debugging of Distributed Erlang Programs (Q5162602) (← links)
- Reversibility and Predictions (Q5162608) (← links)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications (Q5237227) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives (Q6197585) (← links)
