Author of the publication

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)

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)Expressing and detecting control flow properties of distributed computations., , , and . SPDP, page 432-438. IEEE, (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)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)Local States in Distributed Computations: A Few Relations and Formulas., and . ACM SIGOPS Oper. Syst. Rev., 28 (2): 65-72 (1994)Recognition of Patterns on Control Flows for Debugging Distributed Executions., , , and . AADEBUG, page 221-232. IRISA-CNRS, (1995)On-The-Fly Analysis of Distributed Computations., , , and . Inf. Process. Lett., 54 (5): 267-274 (1995)Replaying Distributed Executions., , and . AADEBUG, page 1-18. IRISA-CNRS, (1995)Shared Global States in Distributed Computations., and . J. Comput. Syst. Sci., 55 (3): 522-528 (1997)