A behavioural theory for a \(\pi\)-calculus with preorders
scientific article; zbMATH DE number 6506928
scientific article