scientific article; zbMATH DE number 1927554

MaRDI QIDQ4484478zbMATH OpenFDO

Authors Davide Sangiorgi

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2421/24210076.htm

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(12)

• Using session types for reasoning about boundedness in the \(\pi\)-calculus
• Ensuring termination by typability
• Comparing type systems for deadlock freedom
• Termination in a -calculus with subtyping
• Static Livelock Analysis in CSP
• Mobile Processes and Termination
• Type Abstractions of Name-Passing Processes
• scientific article; zbMATH DE number 2163050 (Why is no real title available?)
• Termination in a \(\pi\)-calculus with subtyping
• Strong normalisation in the \(\pi\)-calculus
• Termination Analysis for the \pi -Calculus by Reduction to Sequential Program Termination
• Spatial-behavioral types for concurrency and resource control in distributed systems

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 Q4484478)