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

@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}
}
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 this article we formulate dynamic property specification and detection as instances of the language recognition problem. Considering boolean… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS
13 Citations
32 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 13 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 32 references

Specification and Detection of Behavioral Patterns in Distributed Computations

  • Babaoglu, M. Raynal
  • Journal of Parallel and Distributed Computing
  • 1995
Highly Influential
4 Excerpts

A general approach to tracechecking in distributed computing systems

  • L. Lamport.
  • 1994

Similar Papers

Loading similar papers…