Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach

Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach

Cached

Download Links

by Giuseppe De Giacomo , Xiao Jun Chen

Citations:

BibTeX

@MISC{Giacomo_reasoningabout,
    author = {Giuseppe De Giacomo and Xiao Jun Chen},
    title = {Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach},
    year = {}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

1267	Foundations of Databases - Abiteboul, Hull, et al. - 1995
331	Process algebra for synchronous communication - Bergstra, Klop - 1984
221	Results on the propositional mu-calculus - Kozen - 1983
196	B.: The concurrency workbench: a semanticsbased tool for the verification of concurrent systems - Cleaveland, Parrow, et al. - 1993
185	Modal and Temporal Logics - Stirling - 1993
141	The Concurrency Workbench - Cleaveland, Parrow, et al. - 1989
134	C.: The complexity of tree automata and logics of programs - Emerson, Jutla - 1988
124	Logics of programs - Kozen, Tiuryn - 1990
113	Complexity results for planning - Bylander - 1991
105	Model Checking vs. Theorem Proving: A Manifesto", Systems - Halpern, Vardi - 1991
105	Proving properties of states in the situation calculus - Reiter - 1993
93	Frames in the Space of Situations - Lifschitz - 1990
92	sometimes" and "not never" revisited: on branching versus linear time temporal logic - Emerson, Halpern - 1983
82	Extensional Equivalences for Transition Systems - Nicola - 1987
80	Tableau-Based Model Checking in the Propositional Mu-Calculus - CLEAVELAND - 1989
79	Boosting the Correspondence between Description - Giacomo, Lenzerini - 1994
74	Representing concurrent actions in extended logic programming - Baral, Gelfond - 1993
62	Reasoning about concurrent executions, prioritized interrupts, and exogenous action in the situation calculus - Giacomo, Levesque, et al. - 1997
57	J.Y.: “Sometimes” and “Not Never” revisited: On branching time versus linear time - Emerson, Halpern - 1986
57	Concurrent actions in the situation calculus - Lin, Shoham - 1992
55	Concurrency and Communication in Transaction Logic - Bonner, Kifer - 1996
50	The anchored version of the temporal framework - Manna, Pnueli - 1989
37	Automated temporal reasoning about reactive systems - Emerson - 1996
26	Process Calculi, from Theory to Practice: Verification Tools - Boudol, Simone, et al. - 1990
26	Characteristic formulae for processes with divergence - Ingólfsdóttir, Steffen - 1994
23	Handbook of theoretical computer science (vol. b). chapter Temporal and modal logic - Emerson - 1990
21	CTL ∗ and ECTL ∗ as fragments of the modal mu-calculus - Dam - 1994
21	A.P.: On model-checking for fragments of mu-calculus - Emerson, Jutla, et al. - 1993
18	Representing concurrent actions and solving conflicts - Bornscheuer, Thielscher - 1996
17	K.G.: Graphical versus logical specifications - Boudol, Larsen - 1992
13	Plan synthesis: a logical ap- proach - Rosenschein - 1981
1	Execution monitoring og high-level robot programs - Giacomo, Reiter, et al. - 1998
1	we believe that it is of great interest mov- ing from Level 2 to Level 3 by mixing the process al- gebra approach presented here, with the usual logical approach. This would allow us to introduce incomplete information in a better controlled way. For exam - Finally - 1992
1	volume B - Emerson - 1990
1	On the differ- ence between updating a knowledge base and revising it - Katsuno, Mendelzon - 1991
1	Actions with in- direct effects (preliminary report - Lifshitz, Karta - 1994
1	Provably correct the- ories of action (preliminary report - Lin, Shoham - 1991