scientific article; zbMATH DE number 2087446

zbMath1077.68719MaRDI QIDQ4738241

Kohei Honda, Martin Berger, Nobuko Yoshida

Publication date: 11 August 2004

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

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

Mathematics Subject Classification ID

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

Related Items (9)

Characteristic bisimulation for higher-order session processes ⋮ Strong normalisation in the \(\pi\)-calculus ⋮ Unnamed Item ⋮ Linearity and bisimulation ⋮ The Calculus of Handshake Configurations ⋮ Modelling dynamic web data ⋮ Genericity and the \(\pi\)-calculus ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness ⋮ Probabilistic π-Calculus and Event Structures

This page was built for publication: