scientific article; zbMATH DE number 1956558

zbMATH Open1032.03027MaRDI QIDQ4417898FDOQ4417898

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

Title of this publication is not available (Why is that?)

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 \(\lambda\)-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

Mathematics Subject Classification ID

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

Cited In (9)

• Type-based information flow analysis for the \(\pi\)-calculus
• safeDpi: a language for controlling mobile code
• Type inference for a distributed \(\pi\)-calculus
• 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)
• Title not available (Why is that?)
• 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)