A -calculus with explicit substitutions: the late semantics

DOI10.1007/3-540-58338-6_81MaRDI QIDQ5096892zbMATH OpenOpenAlexFDO

Authors Ugo Montanari, Paola Quaglia, Gian Luigi Ferrari

Publication date 18 August 2022

Published in Mathematical Foundations of Computer Science 1994 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58338-6_81

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A \(\pi\)-calculus with explicit substitutions
• Explicit substitutions for -congruences
• A theory of bisimulation for the -calculus
• scientific article; zbMATH DE number 2185678
• A symbolic semantics for the \(\pi\)-calculus

Cites work

• A calculus of communicating systems
• A calculus of mobile processes. II
• A theory of bisimulation for the -calculus
• Algebraic laws for nondeterminism and concurrency
• Bisimulation can't be traced
• Higher-level synchronising devices in Meije-SCCS
• scientific article; zbMATH DE number 1638667 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• Modal logics for mobile processes
• Recursive functions of symbolic expressions and their computation by machine, Part I
• Structured operational semantics and bisimulation as a congruence
• Turning SOS rules into equations

Cited in

(11)

• A \(\pi\)-calculus with explicit substitutions
• A theory of bisimulation for the -calculus
• Modelling and analysing neural networks using a hybrid process algebra
• Modeling fresh names in the {\(\pi\)}-calculus using abstractions
• From active names to -calculus rewriting rules
• An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus
• scientific article; zbMATH DE number 1088029 (Why is no real title available?)
• A calculus of quality for robustness against unreliable communication
• Foundations of Software Science and Computation Structures
• Explicit substitutions for -congruences
• \(\pi\)-calculus, internal mobility, and agent-passing calculi

This page was built for publication: A \(\pi \)-calculus with explicit substitutions: the late semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096892)