\input zb-basic
\input zb-ioport
\iteman{io-port 70575359}
\itemau{Ben-Zvi, Ido; Moses, Yoram}
\itemti{Beyond lamport's {\it happened-before}: on the role of time bounds in synchronous systems}
\itemso{DISC, 421-436 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-15763-9\_42}
\end