A unified framework for the specification and run-time detection of dynamic properties in distributed computations

Abstract

To a large extent, the dependability of complex distributed programs relies on our ability to effectively test and debug their executions. Such an activity requires that we be able to specify dynamic properties that the distributed computation must (or must not) exhibit, and that we be able to construct algorithms to detect these properties at run time. In… (More)
DOI: 10.1016/0164-1212(96)00027-1

Topics

6 Figures and Tables

Cite this paper

@article{Babaoglu1996AUF, title={A unified framework for the specification and run-time detection of dynamic properties in distributed computations}, author={{\"O}zalp Babaoglu and Eddy Fromentin and Michel Raynal}, journal={Journal of Systems and Software}, year={1996}, volume={33}, pages={287-298} }