Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus.
scientific article; zbMATH DE number 1963846