On Gurevich's theorem on sequential algorithms.Published in:Acta Informatica, 2003, v. 39, n. 4, p. 273, doi. 10.1007/s00236-002-0106-3By:Reisig, W.Publication type:Article
Stepwise development of fair distributed systems.Published in:Acta Informatica, 2003, v. 39, n. 4, p. 233, doi. 10.1007/s00236-002-0103-6By:Wabenhorst, AxelPublication type:Article