\input zb-basic
\input zb-ioport
\iteman{io-port 70693178}
\itemau{Herlihy, Maurice; Rajsbaum, Sergio; Tuttle, Mark R.}
\itemti{Unifying synchronous and asynchronous message-passing models}
\itemso{PODC, 133-142 (1998).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/277697.277722}
\end