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

A unified framework for the specification and run-time detection of dynamic properties in distributed computations., , and . J. Syst. Softw., 33 (3): 287-298 (1996)Debugging Distributed Executions by Using Language Recognition., , and . ICPP (2), page 55-62. CRC Press, (1995)Inevitable global states: a concept to detect unstable properties of distributed computations in an observer independent way., and . SPDP, page 242-248. IEEE Computer Society, (1994)Expressing and detecting control flow properties of distributed computations., , , and . SPDP, page 432-438. IEEE, (1995)Characterizing and Detecting The Set of Global States Seen by all Observers of a Distributed Computation., and . ICDCS, page 431-438. IEEE Computer Society, (1995)Recognition of Patterns on Control Flows for Debugging Distributed Executions., , , and . AADEBUG, page 221-232. IRISA-CNRS, (1995)Local States in Distributed Computations: A Few Relations and Formulas., and . ACM SIGOPS Oper. Syst. Rev., 28 (2): 65-72 (1994)Replaying Distributed Executions., , and . AADEBUG, page 1-18. IRISA-CNRS, (1995)On-The-Fly Analysis of Distributed Computations., , , and . Inf. Process. Lett., 54 (5): 267-274 (1995)Shared Global States in Distributed Computations., and . J. Comput. Syst. Sci., 55 (3): 522-528 (1997)