E. A. Emerson, E. M. Clarke, Fixed point characterization properties of parallel programs, Proceedings of the International Conference on Automata, Languages and Programming, 1980. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
On Model-Checking for Fragments of µ-Calculus - Emerson, Sistla (1995) Self-citation (Emerson) (Correct)
....model checking for fragments of calculus E. A. Emerson A. P. Sistla February 28, 1995 1 Introduction In this paper we consider the problem of modelchecking for different fragments of propositional calculus. This logic was studied by many authors [6, 9] for specifying the properties of concurrent programs. It has been shown to be as expressive of automata on infinite trees. Most of the known temporal and dynamic logics can be translated into this logic. The modelchecking problem for this logic was first considered in [7] In this paper, the ....
E. A. Emerson, E. M. Clarke, Fixed point characterization properties of parallel programs, Proceedings of the International Conference on Automata, Languages and Programming, 1980.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC