\input zb-basic
\input zb-ioport
\iteman{io-port 70225970}
\itemau{Schreiber, Gerlinde}
\itemti{Operational semantics and a distributed implementation of CSP}
\itemso{MFPS, 444-454 (1987).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/3-540-19020-1\_24}
\end