Reversible session-based pi-calculus

DOI10.1016/J.JLAMP.2015.03.004MaRDI QIDQ492908zbMATH OpenOpenAlexFDO

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)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.jlamp.2015.03.004

zbMATH Keywords

pi-calculussession typesreversible computingsession-based programming

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Reversing single sessions
• Concurrent reversible sessions
• Reversible sessions with flexible choices
• Reversibility in session-based concurrency: a fresh look
• Reversibility in the higher-order \(\pi\)-calculus

Cites work

• scientific article; zbMATH DE number 3961577 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A calculus of mobile processes. II
• A compositional semantics for the reversible \(\pi\)-calculus
• Asynchronous Session Types and Progress for Object Oriented Languages
• Bisimulation for higher-order process calculi
• CONCUR 2004 - Concurrency Theory
• CONCUR 2005 – Concurrency Theory
• Causal-consistent reversibility
• Controlled Reversibility and Compensations
• Controlling Reversibility in Higher-Order Pi
• Conversation types
• Coordination models and languages. 10th international conference, COORDINATION 2008, Oslo, Norway, June 4--6, 2008. Proceedings
• Minimal and Optimal Computations of Recursive Programs
• Multiparty asynchronous session types
• Process algebra for synchronous communication
• Reversing Higher-Order Pi
• Reversing algebraic process calculi
• Session-Based Communication Optimisation for Higher-Order Mobile Processes
• Sub-behaviour relations for session-based client/server systems
• Subtyping for session types in the pi calculus
• Understanding Petri Nets

Cited in

(13)

• Concurrent reversible sessions
• Reversing single sessions
• scientific article; zbMATH DE number 7471661 (Why is no real title available?)
• Reversible session-based concurrency in Haskell
• Concurrent flexible reversibility
• Global types with internal delegation
• Event structures for the reversible early internal \(\pi\)-calculus
• Reversible client/server interactions
• Reversibility in session-based concurrency: a fresh look
• scientific article; zbMATH DE number 7447776 (Why is no real title available?)
• Reversible sessions with flexible choices
• A theory of reversibility for Erlang
• Reversible multiparty sessions with checkpoints

Describes a project that uses

Uses Software

• KLAIM

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)