Mobile Processes and Termination

DOI10.1007/978-3-642-04164-8_13MaRDI QIDQ3184750zbMATH OpenOpenAlexFDO

Authors Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi

Publication date 22 October 2009

Published in Semantics and Algebraic Specification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04164-8_13

Mathematics Subject Classification ID

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

Recommendations

• Termination of processes
• scientific article; zbMATH DE number 1927554
• Termination in a -calculus with subtyping
• Ensuring termination by typability
• scientific article; zbMATH DE number 2163050

Cites work

• Ensuring termination by typability
• scientific article; zbMATH DE number 2084339 (Why is no real title available?)
• scientific article; zbMATH DE number 1231449 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1479607 (Why is no real title available?)
• scientific article; zbMATH DE number 2104617 (Why is no real title available?)
• Natural termination
• Proving termination with multiset orderings
• Strong normalisation in the \(\pi\)-calculus
• Termination in higher-order concurrent calculi
• Termination of processes
• The -calculus: A theory of mobile processes
• The name discipline of uniform receptiveness

Cited in

(7)

• Termination in a -calculus with subtyping
• Termination in impure concurrent languages
• Linear logical relations and observational equivalences for session-based concurrency
• Termination in a \(\pi\)-calculus with subtyping
• Termination of processes
• Termination Analysis for the \pi -Calculus by Reduction to Sequential Program Termination
• Safe session-based concurrency with shared linear state

Describes a project that uses

Uses Software

• TyPiCal

This page was built for publication: Mobile Processes and Termination

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