Equivalences Ursula Goltz, Ruurd Kuiper, Wojciech Penczek  Home/Search
Context
Related
| ipipan.waw.pl/~penczek...concur92.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ipipan.waw.pl/~pencze...allpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We compare propositional temporal logics by comparing the equivalences that they induce on models. Linear time, branching time and partial order temporal logics are considered. The logics are interpreted on occurrence transition systems, generated by labelled prime event structures without autoconcurrency. (Update)
Active bibliography (related documents): More All
3.9: Propositional Temporal Logics and Equivalences - Goltz, Kuiper, Penczek (1992) (Correct)
0.5: Axiomatizations of Temporal Logics on Trace Systems - Wojciech Penczek Depart (1993) (Correct)
0.5: On Undecidability of Propositional Temporal Logics on Trace Systems - Penczek (1995) (Correct)
Similar documents based on text: More All
0.5: Temporal Logics for Distributed Systems - Paradigms And .. - Clarke, Goltz.. (Correct)
0.4: Partial Order Reductions Preserving Simulations - Gerth, Kuiper, Penczek (Correct)
0.3: A Partial Order Approach to Branching Time Logic Model.. - Gerth, Kuiper, Peled.. (1997) (Correct)
BibTeX entry: (Update)
@misc{ goltz-propositional,
author = "Equivalences Ursula Goltz",
title = "Propositional Temporal Logics and",
url = "citeseer.ist.psu.edu/720886.html" }
Citations (may not include all citations):1097 Automatic Verification of Finite State Concurrent Systems Us.. (context) - Emerson, Sistla - 1983
123 A Companion to Modal Logic (context) - Cresswell - 1984
90 Characterizing Finite Kripke Structures in Propositional Tem.. (context) - Clarke, Grumberg - 1988
68 The Anchored Version of the Temporal Framework - Pnueli - 1988
66 Revisited: On Branching versus Linear Time Temporal Logic (context) - Halpern, Sometimes et al. - 1986
59 the Relation of Programs and Computations to Models of Tempo.. (context) - On - 1987
58 Equivalence Notions for Concurrent Systems and Refinement of.. (context) - van - 1989
44 Event Structures and Domains (context) - Plotkin, Winskel et al. - 1981
37 Three Logics for Branching Bisimulation (context) - Vaandrager - 1990
34 Modelling Nondeterministic Concurrent Processes with Event S.. (context) - Goltz - 1991
12 the Semantics of Concurrency: Partial Orders and Transition .. (context) - Castellani, On - 1987
6 th ACM Symposium on Principles of Distributed Computing (context) - Peled, Interleaving et al. - 1987
5 Back and Forth Bisimulations (context) - Montanari, Vaandrager - 1990
3 Linear Time Temporal Logic (context) - Pnueli - 1991
3 Event Structures and Unfoldings (context) - Rozenberg, Thiagarajan et al. - 1991
2 Tel Aviv Univ (context) - Rabinovich, Hirschfeld et al. - 1988
2 Observational Logics and Concurrency (context) - Ferrari - 1990
2 to appear in deliverables of Esprit-BRA project (context) - Kuiper, Penczek et al. - 1992
Documents on the same site (http://www.ipipan.waw.pl/~penczek/WPenczek/allpapers.html): More
Model Checking for Modal Logics (Extended Abstract) - Penczek (2001) (Correct)
Towards Formal Specification and Verification in Cyberspace - Ambroszkiewicz, Penczek.. (2000) (Correct)
A Complete Axiomatization of a First-Order Temporal Logic.. - Penczek, Srebrny (1996) (Correct)
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