Author of the publication

Expressing and detecting control flow properties of distributed computations.

, , , and . SPDP, page 432-438. IEEE, (1995)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

ConC: A Language for Concurrent Programming., and . Comput. Lang., 16 (1): 5-18 (1991)Some Optimal Algorithms for Decomposed Partially Ordered Sets.. Inf. Process. Lett., 44 (1): 39-43 (1992)Predicate control: synchronization in distributed computations with look-ahead., and . J. Parallel Distrib. Comput., 64 (2): 219-237 (2004)Formal Verification of Simulation Traces Using Computation Slicing., and . IEEE Trans. Computers, 56 (4): 511-527 (2007)Principles of distributed systems.. Kluwer, (1996)Time and State in Asynchronous Distributed Systems., and . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Fault Tolerance in Distributed Systems Using Fused Data Structures., and . IEEE Trans. Parallel Distrib. Syst., 24 (4): 701-715 (2013)Timestamping messages and events in a distributed system using synchronous communication., , and . Distributed Computing, 19 (5-6): 387-402 (2007)Optimistic agreement in distributed systems., and . PDPTA, page 885-889. CSREA Press, (1997)Software Fault Tolerance of Distributed Programs Using Computation Slicing., and . ICDCS, page 105-. IEEE Computer Society, (2003)