Reversible session-based pi-calculus
DOI10.1016/J.JLAMP.2015.03.004zbMATH Open1337.68075OpenAlexW2110010771MaRDI QIDQ492908FDOQ492908
Authors: 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
Recommendations
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Reversing algebraic process calculi
- Controlling Reversibility in Higher-Order Pi
- Reversing Higher-Order Pi
- Process algebra for synchronous communication
- Title not available (Why is that?)
- A compositional semantics for the reversible \(\pi\)-calculus
- CONCUR 2004 - Concurrency Theory
- CONCUR 2005 – Concurrency Theory
- Bisimulation for higher-order process calculi
- A calculus of mobile processes. II
- Multiparty asynchronous session types
- Understanding Petri Nets
- A Theory of Communicating Sequential Processes
- Subtyping for session types in the pi calculus
- Sub-behaviour relations for session-based client/server systems
- Conversation types
- Coordination models and languages. 10th international conference, COORDINATION 2008, Oslo, Norway, June 4--6, 2008. Proceedings
- Controlled Reversibility and Compensations
- Session-Based Communication Optimisation for Higher-Order Mobile Processes
- Title not available (Why is that?)
- Minimal and Optimal Computations of Recursive Programs
- Causal-consistent reversibility
- Asynchronous Session Types and Progress for Object Oriented Languages
Cited In (13)
- Reversible session-based concurrency in Haskell
- Event structures for the reversible early internal \(\pi\)-calculus
- Title not available (Why is that?)
- Global types with internal delegation
- Reversible sessions with flexible choices
- Reversibility in session-based concurrency: a fresh look
- Concurrent flexible reversibility
- Reversible client/server interactions
- A theory of reversibility for Erlang
- Concurrent reversible sessions
- Title not available (Why is that?)
- Reversing single sessions
- Reversible multiparty sessions with checkpoints
Uses Software
This page was built for publication: Reversible session-based pi-calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q492908)
