( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Paxos Made Simple, Fast, and Byzantine.

. OPODIS, том 3 из Studia Informatica Universalis, стр. 7-9. Suger, Saint-Denis, rue Catulienne, France, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Leslie Melters

Leslie Tramontini

Leslie Knolle

Leslie Schlüter

Leslie Heckmann

 

Другие публикации лиц с тем же именем

The Implementation of Reliable Distributed Multiprocess Systems.. Comput. Networks, (1978)On Interprocess Communication. Part I: Basic Formalism.. Distributed Comput., 1 (2): 77-85 (1986)The mailbox problem., , и . Distributed Comput., 23 (2): 113-134 (2010)The Hyperplane Method for an Array Computer.. Sagamore Computer Conference, том 24 из Lecture Notes in Computer Science, стр. 113-131. Springer, (1974)Composing Specifications., и . REX Workshop, том 430 из Lecture Notes in Computer Science, стр. 1-41. Springer, (1989)Hybrid Systems in TLA+.. Hybrid Systems, том 736 из Lecture Notes in Computer Science, стр. 77-102. Springer, (1992)Processes are in the Eye of the Beholder.. Theor. Comput. Sci., 179 (1-2): 333-351 (1997)TLA+: Whence, Wherefore, and Whither.. NASA Formal Methods, том NASA/CP-2009-215407 из NASA Conference Proceedings, стр. 3. (2009)Verification and Specifications of Concurrent Programs.. REX School/Symposium, том 803 из Lecture Notes in Computer Science, стр. 347-374. Springer, (1993)DISC 20th Anniversary: Invited Talk Time, Clocks, and the Ordering of My Ideas About Distributed Systems.. DISC, том 4731 из Lecture Notes in Computer Science, стр. 504. Springer, (2007)