\input zb-basic
\input zb-ioport
\iteman{io-port 03768960}
\itemau{Raynal, Michel}
\itemti{Une analyse de la specification de la cooperation entre processus par variables partagees.}
\itemso{RAIRO, Tech. Sci. Inf. 1, 201-210 (1982).}
\itemcc{}
\itemut{shared variables cooperation specification; processes; synchronization; concurrency; communication; parallel programs}
\itemli{}
\end