Autor der Publikation

Efficient Detection of Restricted Classes of Global Predicates.

, und . WDAG, Volume 972 von Lecture Notes in Computer Science, Seite 303-317. Springer, (1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Predicate control: synchronization in distributed computations with look-ahead., und . J. Parallel Distrib. Comput., 64 (2): 219-237 (2004)Formal Verification of Simulation Traces Using Computation Slicing., und . IEEE Trans. Computers, 56 (4): 511-527 (2007)Time and State in Asynchronous Distributed Systems., und . 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., , und . 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., und . Comput. Lang., 16 (1): 5-18 (1991)Fault Tolerance in Distributed Systems Using Fused Data Structures., und . IEEE Trans. Parallel Distrib. Syst., 24 (4): 701-715 (2013)Deriving distributed algorithms from a general predicate detector., und . COMPSAC, Seite 268-273. IEEE Computer Society, (1995)Optimistic agreement in distributed systems., und . PDPTA, Seite 885-889. CSREA Press, (1997)