Pages that link to "Item:Q2643334"
From MaRDI portal
The following pages link to Reversing algebraic process calculi (Q2643334):
Displaying 16 items.
- Operational Semantics of Reversibility in Process Algebra (Q5262973) (← links)
- Imaginary groups: lazy monoids and reversible computation (Q5400854) (← links)
- Event Identifier Logic (Q5740354) (← links)
- Event structure semantics of (controlled) reversible CCS (Q5918352) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach (Q6135754) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)
- Branching bisimulation semantics enables noninterference analysis of reversible systems (Q6535463) (← links)
- Relating reversible Petri nets and reversible event structures, categorically (Q6535471) (← links)
- Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity (Q6536425) (← links)
- Causal reversibility implies time reversibility (Q6546462) (← links)
- Reversibility with holes (work in progress) (Q6637586) (← links)
- A small-step semantics for Janus (Q6637592) (← links)
- Concurrent RSSA for CRIL: flow analysis for a concurrent reversible programming language (Q6637597) (← links)
- Model checking reversible systems: forwardly (Q6637601) (← links)