scientific article; zbMATH DE number 1223732

zbMath0913.03037MaRDI QIDQ4219048

Zhou-Jun Li, Huowang Chen

Publication date: 14 February 1999

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

zbMATH Keywords

\(\pi\)-calculusobservation congruencesymbolic transition graphstrong/weak bisimulation equivalence

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Computing bisimulations for finite-control \(\pi\)-calculus ⋮ Equivalence Checking for a Finite Higher Order π-Calculus

This page was built for publication: