scientific article; zbMATH DE number 1223723

zbMath0910.03020MaRDI QIDQ4219039

No author found.

Publication date: 19 April 1999

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

zbMATH Keywords

proof systemsprocess calculifinite-control \(\pi\)-calculusweak bisimulation congruences

Mathematics Subject Classification ID

Logic in computer science (03B70) Structure of proofs (03F07)

Related Items (8)

Tau laws for pi calculus ⋮ Bisimulation congruence of \(\chi\)-calculus ⋮ Theory of interaction ⋮ Variations on mobile processes ⋮ Unnamed Item ⋮ On quasi-open bisimulation ⋮ Equivalence Checking for a Finite Higher Order π-Calculus ⋮ Understanding the mismatch combinator in chi calculus

This page was built for publication: