Pages that link to "Item:Q264996"
From MaRDI portal
The following pages link to Reversibility in the higher-order \(\pi\)-calculus (Q264996):
Displaying 26 items.
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- A theory of reversibility for Erlang (Q1785852) (← links)
- Static versus dynamic reversibility in CCS (Q2022303) (← links)
- A Petri net view of covalent bonds (Q2077408) (← links)
- Concurrencies in reversible concurrent calculi (Q2097423) (← links)
- Reversibility in Erlang: imperative constructs (Q2097430) (← links)
- The reversible temporal process language (Q2165209) (← links)
- Type theory based semantic verification for service composition in cloud computing environments (Q2200647) (← links)
- An axiomatic approach to reversible computation (Q2200840) (← links)
- A parametric framework for reversible \(\pi\)-calculi (Q2216133) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- A stable non-interleaving early operational semantics for the pi-calculus (Q2423752) (← links)
- A collective interpretation semantics for reversing Petri nets (Q2672648) (← links)
- Controlling Reversibility in Higher-Order Pi (Q3090837) (← links)
- (Q3384917) (← links)
- (Q5028420) (← links)
- (Q5089300) (← links)
- (Q5129948) (← links)
- Forward-Reverse Observational Equivalences in CCSK (Q5162606) (← links)
- Controlling Reversibility in Reversing Petri Nets with Application to Wireless Communications (Q5237227) (← links)
- A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus (Q5738986) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
- revTPL: The Reversible Temporal Process Language (Q6151560) (← links)
- The correctness of concurrencies in (reversible) concurrent calculi (Q6151611) (← links)
- Reversible debugging of concurrent Erlang programs: supporting imperative primitives (Q6197585) (← links)
- Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures (Q6204129) (← links)
