Author of the publication

A General Approach to Trace-Checking in Distributed Computing Systems.

, , , and . ICDCS, page 396-403. IEEE Computer Society, (1994)

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

St-serie decomposition of orders., and . CTW, page 89-93. University of Twente, (2007)A General Approach to Trace-Checking in Distributed Computing Systems., , , and . ICDCS, page 396-403. IEEE Computer Society, (1994)Inductive Characterizations of Finite Interval Orders and Semiorders., and . Order, 26 (3): 277-281 (2009)Graph Invariants as Necessary Conditions for Global Constraints., , , and . CP, volume 3709 of Lecture Notes in Computer Science, page 92-106. Springer, (2005)Reachability Analysis on Distributed Executions., , and . TAPSOFT, volume 668 of Lecture Notes in Computer Science, page 629-643. Springer, (1993)Remarks on Some Concurrency Measures., , and . WG, volume 484 of Lecture Notes in Computer Science, page 221-238. Springer, (1990)Split orders., and . Discret. Math., 276 (1-3): 249-267 (2004)What is reconstruction for ordered sets?. Discret. Math., 291 (1-3): 191-233 (2005)