Type inference for a distributed \(\pi\)-calculus

DOI10.1016/j.scico.2003.12.003zbMath1091.68074OpenAlexW2011317854MaRDI QIDQ1887739

Cédric Lhoussaine

Publication date: 22 November 2004

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2003.12.003

zbMATH Keywords

\(\pi\)-calculusMigrationType inferenceDependent types

Mathematics Subject Classification ID

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

This page was built for publication: Type inference for a distributed \(\pi\)-calculus