P.S. Thiagarajan, Jesper B. Henriksen  Home/Search
Context Related
| brics.dk/RS/98/Ref...RICSRS988.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: brics.dk/RS/98/Ref/BRICSRS98... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This document in subdirectory RS/98/8/ Distributed Versions of Linear Time Temporal Logic: A Trace Perspective SPIC Mathematical Institute, Chennai, India pst@smi.ernet.in Jesper Gulmann Henriksen , Department of Computer Science, University of Aarhus, Denmark gulmann@brics.dk April 28, 1998 1 (Update)
Context of citations to this paper: More
.... Joint work with P. S. Thiagarajan. Appears in Proceedings of LNCS 1243. It also appears as BRICS technical report RS 97 9. Chapter 8 [138]: Distributed Versions of Linear Time Temporal Logic: A Trace Perspective . Joint work with P. S. Thiagarajan. A chapter of Reisig and...
...concurrency and causality. A number of linear time temporal logics to be interpreted directly over Mazurkiewicz traces (e.g. [1, 4, 11, 14, 15, 16, 17]) has been proposed in the literature starting with TrPTL [15] Among these, we consider here a temporal logic of causality...
Cited by: More
Automatic Synthesis of Distributed Systems - Stefanescu (Correct)
Distributed States Logic - Montangero, Semini (2002) (Correct)
Logics for Mazurkiewicz Traces - Leucker (2002) (Correct)
Similar documents (at the sentence level):
34.0%: Distributed Versions of Linear Time Temporal Logic: A.. - Thiagarajan, Henriksen (1998) (Correct)
27.9%: Logics and Automata for Verification: Expressiveness and.. - Henriksen (2000) (Correct)
Active bibliography (related documents): More All
1.1: An Expressive Extension of TLC - Henriksen (1999) (Correct)
0.8: An expressively complete temporal logic without past tense.. - Diekert, Gastin (1999) (Correct)
0.8: LTL is expressively complete for Mazurkiewicz - Traces Volker Diekert (2000) (Correct)
Similar documents based on text: More All
1.3: An Expressively Complete Linear Time Temporal Logic for.. - Thiagarajan, Walukiewicz (1996) (Correct)
1.2: A Simple Take on Typed Abstract Syntax in Haskell-like Languages - Danvy, Rhiger (2000) (Correct)
1.2: A Unifying Approach to Goal-Directed Evaluation - Danvy, Grobauer, Rhiger (2001) (Correct)
Related documents from co-citation: More All
6: A Trace Based Extension of Linear Time Temporal Logic (context) - Thiagarajan - 1994
5: Locally linear time temporal logic - Ramanujam - 1996
5: An expressively complete linear time temporal logic for Mazurkiewicz traces - Thiagarajan, Walukiewicz - 1997
BibTeX entry: (Update)
P. S. Thiagarajan and J. G. Henriksen. Distributed versions of linear time temporal logic: A trace perspective. Lecture Notes in Computer Science, 1491, 1998. http://citeseer.ist.psu.edu/thiagarajan98distributed.html More
@inproceedings{ thiagarajan96distributed,
author = "P. S. Thiagarajan and Jesper G. Henriksen",
title = "Distributed Versions of Linear Time Temporal Logic: A Trace Perspective",
booktitle = "Petri Nets",
pages = "643-681",
year = "1996",
url = "citeseer.ist.psu.edu/thiagarajan98distributed.html" }
Citations (may not include all citations):1180 The temporal logic of reactive and concurrent systems (context) - Manna, Pnueli - 1991
725 Temporal and modal logic (context) - Emerson
539 The temporal logic of programs (context) - Pnueli
434 An automata-theoretic approach to automatic program veri cat.. (context) - Vardi, Wolper - 1986
222 The complexity of propositional linear temporal logics (context) - Sistla, Clarke - 1985
207 A stubborn attack on state explosion (context) - Valmari - 1992
195 Propositional dynamic logic of regular programs (context) - Fischer, Ladner - 1979
177 Temporal logic can be more expressive (context) - Wolper - 1981
168 Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981
163 the temporal analysis of fairness (context) - Gabbay, Pnueli et al. - 1980
144 Models for concurrency - Winskel, Nielsen
140 Tense logic and the theory of linear order (context) - Kamp - 1968
92 Concurrent program schemes and their interpretations (context) - Mazurkiewicz - 1977
47 A trace based extension of linear time temporal logic (context) - Thiagarajan
40 The complexity of decision problems in automata theory and l.. (context) - Stockmeyer - 1974
38 World Scienti c (context) - Diekert, Rozenberg
38 Interleaving set temporal logic (context) - Katz, Peled
35 An expressively complete linear time temporal logic for Mazu.. - Thiagarajan, Walukiewicz
34 Automata on in nite objects (context) - Thomas
31 A logical study of distributed transition systems - Lodaya, Parikh et al. - 1995
29 a decision method in restricted second order arithmetic (context) - uchi, On - 1960
28 Model checking of causality properties - Alur, Peled et al.
25 Locally linear time temporal logic - Ramanujam - 1996
24 Partial-order methods for the veri cation of concurrent syst.. (context) - Godefroid - 1996
23 Partial-order methods for model checking: from linear time t.. - Willems, Wolper
22 A trace consistent subset of PTL (context) - Thiagarajan
18 Proving partial order properties (context) - Peled, Pnueli
15 Linear time temporal logics over Mazurkiewicz traces (context) - Mukund, Thiagarajan
13 PTL over product state spaces (context) - Thiagarajan
13 Petri net models for distributed algorithms (context) - Reisig
13 Temporal logic and causality in concurrent systems (context) - Reisig
11 Charakterisierung von sprachklassen unendlicher spuren durch.. (context) - Ebinger - 1994
11 Notes on nite asynchronous automata (context) - Zielonka
9 Dynamic linear time temporal logic - Henriksen, Thiagarajan
8 A partial-order approach to branching time model checking (context) - Gerth, Kuiper et al.
8 Dicult con gurations | on the complexity of LTrL (context) - Walukiewicz
7 Recognizable languages in concurrency monoids (context) - Droste
5 An automata-theoretic approach to linear time temporal logic (context) - Vardi - 1996
5 Asynchronous cellular automata for pomsets without auto-conc.. (context) - Droste, Gastin
4 Representation of computations in concurrent automata by dep.. - Bracho, Droste et al. - 1997
4 Reasoning about in nite computation paths (context) - Wolper, Vardi et al. - 1983
3 and local model checking (context) - Cheng - 1995
3 Expressive completeness of LTrL on nite traces: an algebraic.. (context) - Meyer, Petit - 1998
3 A product version of dynamic linear time temporal logic - Henriksen, Thiagarajan
3 A temporal logic for the speci cation and validation of dist.. (context) - Niebert - 1997
2 An overview of the SPIN model checker (context) - Holzmann - 1996
2 Lecture Notes in Computer Science (context) - Diekert - 1990
1 On semantic and logical re nement of actions (context) - Huhn - 1996
1 TrPTL: a trace based extension of linear time temporal logic (context) - Thiagarajan - 1993
1 Asynchronous cellular automata for in nite traces (context) - Gastin, Petit
1 Keeping track of the latest gossip in a distributed system - Mukund, Sohoni - 1997
1 Rules for trace consistent reasoning - Ramanujam
1 automatic veri cation of linear time temporal logic (context) - Gerth, Peled et al. - 1995
1 Logical de nability on in nite traces (context) - Ebinger, Muscholl
http://www.bell-labs.com/formalcheck/
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.brics.dk/RS/98/Ref/BRICS-RS-98-Ref/): More
The Hardness of Speeding-up Knapsack - Sen (1998) (Correct)
On the (Im)possibility of Basing Oblivious Transfer.. - Damgård.. (1998) (Correct)
Lower Bounds for Dynamic Algebraic Problems - Frandsen, al. (1998) (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