The \(\pi\)-calculus in direct style

From MaRDI portal
Publication:1290334