scientific article; zbMATH DE number 1512621

MaRDI QIDQ4508306zbMATH OpenFDO

Authors Massimo Merro

Publication date 3 October 2000

zbMATH Keywords

\(\pi\)F calculidivergence-free encoding

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the expressive power of polyadic synchronisation in -calculus
• scientific article; zbMATH DE number 1223739
• On asynchrony in name-passing calculi
• scientific article; zbMATH DE number 2059568
• Polarized name passing

Cited in

(9)

• Mobile objects as mobile processes
• On the expressive power of polyadic synchronisation in -calculus
• Relating two semantics of locally scoped names
• Polarized name passing
• scientific article; zbMATH DE number 1223739 (Why is no real title available?)
• scientific article; zbMATH DE number 2059568 (Why is no real title available?)
• On asynchrony in name-passing calculi
• Encoding distributed areas and local communication into the -calculus
• Comparing session type systems derived from linear logic

Describes a project that uses

Uses Software

• Pict

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