scientific article; zbMATH DE number 1956558

MaRDI QIDQ4417898zbMATH OpenFDO

Authors Cédric Lhoussaine

Publication date 30 July 2003

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• Type inference for a distributed \(\pi\)-calculus
• scientific article; zbMATH DE number 1223731
• A Logic for Distributed Higher Order π-Calculus
• Distributive semantics for nondeterministic typed -calculi
• Bisimulations for a Distributed Higher Order π-Calculus
• A generic type system for the \(\pi\)-calculus
• A generic type system for the pi-calculus
• Testing and Proving Distributed Algorithms in Constructive Type Theory
• Type-based information flow analysis for the \(\pi\)-calculus

Cited in

(9)

• Type-based information flow analysis for the \(\pi\)-calculus
• Type inference for a distributed \(\pi\)-calculus
• safeDpi: a language for controlling mobile code
• On hierarchical communication topologies in the \(\pi\)-calculus
• Assigning types to processes
• Placement Inference for a Client-Server Calculus
• Adding recursion to \textsc{Dpi} (extended abstract)
• scientific article; zbMATH DE number 1500657 (Why is no real title available?)
• Type reconstruction for the linear \(\pi\)-calculus with composite regular types

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