scientific article; zbMATH DE number 2163050

MaRDI QIDQ4673437zbMATH OpenFDO

Authors Yuxin Deng, Davide Sangiorgi

Publication date 29 April 2005

Mathematics Subject Classification ID

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

Recommendations

• Ensuring termination by typability
• Termination in a \(\pi\)-calculus with subtyping
• Termination in a -calculus with subtyping
• scientific article; zbMATH DE number 1927554
• Termination Analysis for the \pi -Calculus by Reduction to Sequential Program Termination

Cited in

(12)

• Ensuring termination by typability
• Corecursion and non-divergence in session-typed processes
• Termination in a -calculus with subtyping
• Mobile Processes and Termination
• Termination in higher-order concurrent calculi
• scientific article; zbMATH DE number 1927554 (Why is no real title available?)
• scientific article; zbMATH DE number 1543354 (Why is no real title available?)
• Termination in a \(\pi\)-calculus with subtyping
• Logic Programming
• Termination in higher-order concurrent calculi
• Responsiveness in process calculi
• Typing termination in a higher-order concurrent imperative language

This page was built for publication:

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