Reversible sessions with flexible choices
From MaRDI portal
Publication:2329306
DOI10.1007/S00236-019-00332-YzbMath1462.68121OpenAlexW2920083310WikidataQ128221315 ScholiaQ128221315MaRDI QIDQ2329306
Paola Giannini, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
Publication date: 17 October 2019
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-019-00332-y
Related Items (8)
Towards a taxonomy for reversible computation approaches ⋮ Branching pomsets: design, expressiveness and applications to choreographies ⋮ Partially Typed Multiparty Sessions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Forward-Reverse Observational Equivalences in CCSK ⋮ Composition and decomposition of multiparty sessions ⋮ Global types with internal delegation
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reversible client/server interactions
- Reversible session-based pi-calculus
- Reversibility and asymmetric conflict in event structures
- Flow models of distributed computations: Three equivalent semantics for CCS
- Towards a categorical representation of reversible event structures
- Reversing algebraic process calculi
- Controlling Reversibility in Higher-Order Pi
- Multiparty Asynchronous Session Types
- Rigid Families for the Reversible $$\pi $$ -Calculus
- Reversing Single Sessions
- Multiparty asynchronous session types
- Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types
- Reversing Higher-Order Pi
- Communicating Transactions
- Concurrent Reversible Sessions
- Operational Semantics of Reversibility in Process Algebra
- CONCUR 2004 - Concurrency Theory
- Dynamic multirole session types
- Bisimulations for Communicating Transactions
- The Conversation Calculus: A Model of Service-Oriented Computation
- Sub-behaviour relations for session-based client/server systems
- Modelling session types using contracts
This page was built for publication: Reversible sessions with flexible choices
