Reversible session-based pi-calculus
From MaRDI portal
Publication:492908
DOI10.1016/j.jlamp.2015.03.004zbMath1337.68075OpenAlexW2110010771MaRDI QIDQ492908
Francesco Tiezzi, Nobuko Yoshida
Publication date: 21 August 2015
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.03.004
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (10)
Reversibility in session-based concurrency: a fresh look ⋮ Reversible client/server interactions ⋮ Reversing Single Sessions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A theory of reversibility for Erlang ⋮ Global types with internal delegation ⋮ Event structures for the reversible early internal \(\pi\)-calculus ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Conversation types
- Bisimulation for higher-order process calculi
- Coordination models and languages. 10th international conference, COORDINATION 2008, Oslo, Norway, June 4--6, 2008. Proceedings
- A calculus of mobile processes. II
- Subtyping for session types in the pi calculus
- Reversing algebraic process calculi
- Controlling Reversibility in Higher-Order Pi
- Multiparty asynchronous session types
- Controlled Reversibility and Compensations
- Reversing Higher-Order Pi
- Session-Based Communication Optimisation for Higher-Order Mobile Processes
- Process algebra for synchronous communication
- A Theory of Communicating Sequential Processes
- Minimal and Optimal Computations of Recursive Programs
- Understanding Petri Nets
- A Compositional Semantics for the Reversible p-Calculus
- CONCUR 2004 - Concurrency Theory
- Asynchronous Session Types and Progress for Object Oriented Languages
- Sub-behaviour relations for session-based client/server systems
- CONCUR 2005 – Concurrency Theory
This page was built for publication: Reversible session-based pi-calculus
