From post

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.

 

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

Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, (2002)Composing Specifications., и . ACM Trans. Program. Lang. Syst., 15 (1): 73-132 (1993)Recent Discoveries from Paxos.. DSN, стр. 3. IEEE Computer Society, (2004)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)How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor.. IEEE Trans. Computers, 46 (7): 779-782 (1997)The `Hoare Logic' of Concurrent Programs.. Acta Inf., (1980)Preserving Liveness: Comments on ``Safety and Liveness from a Methodological Point of View''., , , , , , и . Inf. Process. Lett., 40 (3): 141-142 (1991)The Hyperplane Method for an Array Computer.. Sagamore Computer Conference, том 24 из Lecture Notes in Computer Science, стр. 113-131. Springer, (1974)