Author of the publication

Detecting conjunctive channel predicates in a distributed programming environment.

, , , and . HICSS (2), page 232-241. IEEE Computer Society, (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

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)Time and State in Asynchronous Distributed Systems., and . Wiley Encyclopedia of Computer Science and Engineering, John Wiley & Sons, Inc., (2008)Principles of distributed systems.. Kluwer, (1996)Timestamping messages and events in a distributed system using synchronous communication., , and . Distributed Computing, 19 (5-6): 387-402 (2007)Some Optimal Algorithms for Decomposed Partially Ordered Sets.. Inf. Process. Lett., 44 (1): 39-43 (1992)ConC: A Language for Concurrent Programming., and . Comput. Lang., 16 (1): 5-18 (1991)Fault Tolerance in Distributed Systems Using Fused Data Structures., and . IEEE Trans. Parallel Distrib. Syst., 24 (4): 701-715 (2013)Deriving distributed algorithms from a general predicate detector., and . COMPSAC, page 268-273. IEEE Computer Society, (1995)Optimistic agreement in distributed systems., and . PDPTA, page 885-889. CSREA Press, (1997)