scientific article; zbMATH DE number 1512621

zbMath0961.68091MaRDI QIDQ4508306

Massimo Merro

Publication date: 3 October 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

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)

Related Items (3)

Encoding Distributed Areas and Local Communication into the π-Calculus ⋮ Mobile objects as mobile processes ⋮ On the Expressive Power of Polyadic Synchronisation in π-calculus

Uses Software

• Pict

This page was built for publication: