D. Peleg. Concurrent dynamic logic. Journal of the ACM, 34(2):450-479, 1987. Home/Search Document Not in Database Context ACM TOC Related Articles Check |
This paper is cited by the following papers:
First 50 documents
EPDL: A Logic for Causal Reasoning - Zhang, Foo (12 citations) (Correct)
Dynamic Logic - Harel, Kozen, Tiuryn (1984) (356 citations) (Correct)
Unravelling Nondeterminism: On Having the Ability to Choose - van der Hoek, van Linder, .. (1993) (Correct)
Logical for Social Software - Pauly (2001) (Correct)
A Type Reduction From Proof-Conditional to Dynamic Semantics - Fernando (2000) (Correct)
Encoding solutions to the frame problem in dynamic logic.. - Foo, Zhang, Chopra, Vo (Correct)
EPDL: A Logic for Causal Reasoning - Zhang, Foo (2000) (12 citations) (Correct)
Models and Logics for True Concurrency - Lodaya, Mukund, Ramanujam.. (1990) (6 citations) (Correct)
On Strictly Arithmetical Completeness in Logics of Programs - Szalas (Correct)
Axiomatizations of Temporal Logics on Trace Systems - Penczek (1996) (4 citations) (Correct)
Strategic Directions in Computing Research Concurrency.. - Cleaveland, (eds.) (1996) (2 citations) (Correct)
On Axiomatizations for Propositional Logics of Programs - Knijnenburg (1988) (1 citation) (Correct)
The Action Graph Model as a Link Between Abstract Relation.. - Gritzner (Correct)
A Linear Logic Specification for Chimera - Bozzano, Delzanno, Martelli (1997) (Correct)
Extended Propositional Dynamic Logic for Reasoning about.. - Zhang, Foo (Correct)
A Linear Logic Specification of Chimera - Bozzano, Delzanno, Martelli (1997) (Correct)
Modal Logic, Transition Systems and Processes - van Benthem, van Eijck.. (1994) (Correct)
Concurrent dynamic epistemic logic for MAS - van Ditmarsch, van der Hoek, Kooi (2003) (Correct)
Axiomatizations of Temporal Logics on Trace Systems - Wojciech Penczek Depart (1993) (4 citations) (Correct)
Building Logic Toolboxes - Heguiabehere (2003) (Correct)
A Dynamic Logic of Events and States for the Interaction between.. - Naumann (1998) (Correct)
A Dynamic Logic of Events and States for the Interaction between.. - Naumann (1998) (Correct)
Evolution of Collective Commitment during Teamwork - Dunin-Keplicz, Verbrugge (2003) (Correct)
Permission to Change - van Rooy (2000) (1 citation) (Correct)
Encoding Solutions of the Frame Problem in Dynamic Logic - Foo, Zhang, Zhang, Chopra, Vo (Correct)
First 50 documents
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