Termination in higher-order concurrent calculi

DOI10.1016/J.JLAP.2010.07.007zbMATH Open1205.68241OpenAlexW1974475317MaRDI QIDQ710674FDOQ710674

Authors Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi 

Publication date 22 October 2010

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2010.07.007

zbMATH Keywords

process algebratype systemsterminationconcurrency theory\(\pi \)-calculushigher-order calculi

Mathematics Subject Classification ID

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

Recommendations

• Termination in higher-order concurrent calculi
• Typing termination in a higher-order concurrent imperative language
• Termination in a \(\pi\)-calculus with subtyping
• scientific article; zbMATH DE number 2163050
• Ensuring termination by typability

Cites work

• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• A CPS encoding of name-passing in higher-order mobile embedded resources
• Ensuring termination by typability
• Global Computing
• Strong normalisation in the \(\pi\)-calculus
• Termination in higher-order concurrent calculi
• Termination of processes
• The \(\pi\)-calculus: A theory of mobile processes
• What is a ``good encoding of guarded choice?

Cited in

(9)

• GOFFIN: Higher-order functions meet concurrent constraints
• A generic type system for higher-order \(\Psi\)-calculi
• Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination
• A generic type system for higher-order \(\Psi\)-calculi
• Typing termination in a higher-order concurrent imperative language
• Mobile Processes and Termination
• Termination, deadlock, and divergence
• Termination in higher-order concurrent calculi
• Termination in impure concurrent languages

This page was built for publication: Termination in higher-order concurrent calculi

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