Reversibility in session-based concurrency: a fresh look

DOI10.1016/J.JLAMP.2017.03.003zbMath1371.68194DBLPjournals/jlp/MezzinaP17OpenAlexW2600173982WikidataQ57652329 ScholiaQ57652329MaRDI QIDQ2360649

Claudio Antares Mezzina, Jorge A. Pérez

Publication date: 4 July 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: http://eprints.imtlucca.it/3724/1/jlamp_sessioni.pdf

zbMATH Keywords

concurrencyprocess calculireversible computationbehavioral types

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Unnamed Item

Uses Software

• Python

Cites Work

• Unnamed Item
• Unnamed Item
• Reversibility in the higher-order \(\pi\)-calculus
• Self-adaptation and secure information flow in multiparty communications
• Reversible session-based pi-calculus
• Conversation types
• Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
• An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
• Flow models of distributed computations: Three equivalent semantics for CCS
• Reversing algebraic process calculi
• On the Relative Expressiveness of Higher-Order Session Processes
• Monitors and blame assignment for higher-order session types
• Controlling Reversibility in Higher-Order Pi
• On the Statistical Thermodynamics of Reversible Communicating Processes
• A Calculus for Local Reversibility
• Static VS Dynamic Reversibility in CCS
• Reversing Single Sessions
• Multiparty asynchronous session types
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Controlled Reversibility and Compensations
• The Pairing of Contracts and Session Types
• Structured Interactional Exceptions in Session Types
• Reversing Higher-Order Pi
• Communicating Transactions
• Operational Semantics of Reversibility in Process Algebra
• A Compositional Semantics for the Reversible p-Calculus
• CONCUR 2004 - Concurrency Theory
• Concurrent Flexible Reversibility
• Global escape in multiparty sessions
• On asynchronous eventful session semantics
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Reversibility in session-based concurrency: a fresh look