-
1
-
-
84869159405
-
Complete and tractable local linear time temporal logics over traces
-
Springer, New York
-
B. Adsul, M. Sohoni, Complete and tractable local linear time temporal logics over traces, in: Proc. ICALP'02 number 2380 in LNCS, Springer, New York, 2002, pp. 926-937.
-
(2002)
Proc. ICALP'02 Number 2380 in LNCS
, pp. 926-937
-
-
Adsul, B.1
Sohoni, M.2
-
2
-
-
0029203319
-
Model-checking of causality properties
-
IEEE Computer Society Press, Silver Spring, MD
-
R. Alur, D. Peled, W. Penczek, Model-checking of causality properties, in: Proc. LICS'95, IEEE Computer Society Press, Silver Spring, MD, 1995, pp. 90-100.
-
(1995)
Proc. LICS'95
, pp. 90-100
-
-
Alur, R.1
Peled, D.2
Penczek, W.3
-
4
-
-
0036506762
-
LTL is expressively complete for Mazurkiewicz traces
-
DOI 10.1006/jcss.2001.1817
-
V. Diekert, P. Gastin, LTL is expressively complete for Mazurkiewicz traces, J. Comput. Syst. Sci. 64(2002) 396-418 (Pubitemid 34599455)
-
(2002)
Journal of Computer and System Sciences
, vol.64
, Issue.2
, pp. 396-418
-
-
Diekert, V.1
Gastin, P.2
-
6
-
-
0009292564
-
Safety and liveness properties for real traces and a direct translation from LTL to monoids
-
number 2300 in LNCS, Springer, New York
-
V. Diekert, P. Gastin, Safety and liveness properties for real traces and a direct translation from LTL to monoids, in: Formal and Natural Computing-Essays Dedicated to Grzegorz Rozenberg, number 2300 in LNCS, Springer, New York, 2002, pp. 26-38.
-
(2002)
Formal and Natural Computing-Essays Dedicated to Grzegorz Rozenberg
, pp. 26-38
-
-
Diekert, V.1
Gastin, P.2
-
7
-
-
10444285478
-
Local temporal logic is expressively complete for cograph dependence alphabets
-
V. Diekert, P. Gastin, Local temporal logic is expressively complete for cograph dependence alphabets, Informat. Comput. 195(2004) 30-52
-
(2004)
Informat. Comput.
, vol.195
, pp. 30-52
-
-
Diekert, V.1
Gastin, P.2
-
9
-
-
35048897436
-
Pure future local temporal logics are expressively complete for Mazurkiewicz traces
-
M. Farach-Colton Ed., Springer, New York
-
V. Diekert, P. Gastin, Pure future local temporal logics are expressively complete for Mazurkiewicz traces, in: M. Farach-Colton (Ed.), Proc. LATIN'04, number 2976 in LNCS, Springer, New York, 2004, pp. 232-241.
-
(2004)
Proc. LATIN'04, Number 2976 in LNCS
, pp. 232-241
-
-
Diekert, V.1
Gastin, P.2
-
10
-
-
33744772971
-
From local to global temporal logics over Mazurkiewicz traces
-
DOI 10.1016/j.tcs.2006.01.035, PII S0304397506001095
-
V. Diekert, P. Gastin, From local to global temporal logics over Mazurkiewicz traces, Theor. Comput. Sci. 356 (1-2) (2006) 126-135, In honour of Professor Christian Choffrut on the occasion of his 60th birthday. (Pubitemid 43821220)
-
(2006)
Theoretical Computer Science
, vol.356
, Issue.1-2
, pp. 126-135
-
-
Diekert, V.1
Gastin, P.2
-
13
-
-
0029754405
-
Logical definability on infinite traces
-
DOI 10.1016/0304-3975(95)00130-1
-
W. Ebinger, A. Muscholl, Logical definability on infinite traces, Theor. Comput. Sci. 154(1996) 67-84. (Pubitemid 126411921)
-
(1996)
Theoretical Computer Science
, vol.154
, Issue.1
, pp. 67-84
-
-
Ebinger, W.1
Muscholl, A.2
-
14
-
-
4244042974
-
The local algebras of an associative algebra and their applications
-
J. C. Misra Ed., Narosa
-
A. Ferandez Lopez, M. I. Tocon Barroso, The local algebras of an associative algebra and their applications, in: J. C. Misra (Ed.), Applicable Mathematics in the Golden Age, Narosa, 2002, pp. 254-275.
-
(2002)
Applicable Mathematics in the Golden Age
, pp. 254-275
-
-
Ferandez Lopez, A.1
Tocon Barroso, M.I.2
-
15
-
-
0019112115
-
On the temporal analysis of fairness
-
Nev.
-
D. Gabbay, A. Pnueli, S. Shelah, J. Stavi, On the temporal analysis of fairness, in: Proc. PoPL'80, Las Vegas, Nev., 1980, pp. 163-173.
-
(1980)
Proc. PoPL'80, las Vegas
, pp. 163-173
-
-
Gabbay, D.1
Pnueli, A.2
Shelah, S.3
Stavi, J.4
-
16
-
-
35248874238
-
Satisfiability and model checking for MSO-definable temporal logics are in PSPACE
-
Springer, New York
-
P. Gastin, D. Kuske, Satisfiability and model checking for MSO-definable temporal logics are in PSPACE, in: Proc. CONCUR'03, number 2761 in LNCS, Springer, New York, 2003, pp. 222-236.
-
(2003)
Proc. CONCUR'03, Number 2761 in LNCS
, pp. 222-236
-
-
Gastin, P.1
Kuske, D.2
-
17
-
-
84869155465
-
An elementary expressively complete temporal logic for Mazurkiewicz traces
-
Springer, New York
-
P. Gastin, M. Mukund, An elementary expressively complete temporal logic for Mazurkiewicz traces, in: Proc. ICALP'02, number 2380 in LNCS, Springer, New York, 2002, pp. 938-949.
-
(2002)
Proc. ICALP'02, Number 2380 in LNCS
, pp. 938-949
-
-
Gastin, P.1
Mukund, M.2
-
18
-
-
21144456922
-
Local LTL with past constants is expressively complete for Mazurkiewicz traces
-
Springer, New York
-
P. Gastin, M. Mukund, K. Narayan Kumar, Local LTL with past constants is expressively complete for Mazurkiewicz traces, in: Proc. MFCS'03, number 2747 in LNCS, Springer, New York, 2003, pp. 429-438.
-
(2003)
Proc. MFCS'03, Number 2747 in LNCS
, pp. 429-438
-
-
Gastin, P.1
Mukund, M.2
Narayan Kumar, K.3
-
19
-
-
0003050402
-
Infinite traces
-
V. Diekert, G. Rozenberg Eds., World Scientific, Singapore, chapter 11
-
P. Gastin, A. Petit, Infinite traces, in: V. Diekert, G. Rozenberg (Eds.), The Book of Traces, World Scientific, Singapore, 1995, pp. 393-486, chapter 11.
-
(1995)
The Book of Traces
, pp. 393-486
-
-
Gastin, P.1
Petit, A.2
-
21
-
-
84976729721
-
Parallel program schemata and maximal parallelism I. Fundamental results
-
R. M. Keller, Parallel program schemata and maximal parallelism I. Fundamental results, J. Assoc. Comput. Mach. 20(3) (1973) 514-537.
-
(1973)
J. Assoc. Comput. Mach.
, vol.20
, Issue.3
, pp. 514-537
-
-
Keller, R.M.1
-
24
-
-
0003278544
-
Concurrent program schemes and their interpretations
-
Aarhus University, Aarhus
-
A. Mazurkiewicz, Concurrent program schemes and their interpretations, DAIMI Rep. PB 78, Aarhus University, Aarhus, 1977.
-
(1977)
DAIMI Rep. PB
, pp. 78
-
-
Mazurkiewicz, A.1
-
25
-
-
0004209273
-
-
MIT Press, Cambridge, MA
-
R. McNaughton, S. Papert, Counter-Free Automata, MIT Press, Cambridge, MA, 1971.
-
(1971)
Counter-Free Automata
-
-
McNaughton, R.1
Papert, S.2
-
26
-
-
0011156141
-
Linear time temporal logics over Mazurkiewicz traces
-
M. Mukund, P. S. Thiagarajan, Linear time temporal logics over Mazurkiewicz traces, in: Proc. MFCS'96, number 1113 in LNCS, Springer, New York, 1996, pp. 62-92. (Pubitemid 126117884)
-
(1996)
Lecture Notes in Computer Science
, Issue.1113
, pp. 62-92
-
-
Mukund, M.1
Thiagarajan, P.S.2
-
27
-
-
84947912042
-
A v-calculus with local views for sequential agents
-
number 969 in LNCS, Springer, New York
-
P. Niebert, A v-calculus with local views for sequential agents, in: Proc. MFCS'95, number 969 in LNCS, Springer, New York, 1995, pp. 563-573.
-
(1995)
Proc. MFCS'95
, pp. 563-573
-
-
Niebert, P.1
-
28
-
-
0009154538
-
Temporal logics for trace systems: On automated verification
-
W. Penczek, Temporal logics for trace systems: On automated verification, Intl. J. Foundation Comput. Sci. 4(1993) 31-67.
-
(1993)
Intl. J. Foundation Comput. Sci.
, vol.4
, pp. 31-67
-
-
Penczek, W.1
-
29
-
-
85036524554
-
Recent results on automata and infinite words
-
number, in LNCS, Springer, New York
-
D. Perrin, Recent results on automata and infinite words, in: Proc. MFCS'84, number 176 in LNCS, Springer, New York, 1984, pp. 134-148.
-
(1984)
Proc. MFCS'84
, vol.176
, pp. 134-148
-
-
Perrin, D.1
-
30
-
-
0022736119
-
First order logic and star-free sets
-
DOI 10.1016/0022-0000(86)90037-1
-
D. Perrin, J.-E. Pin, First order logic and star-free sets, J. Comput. Syst. Sci. 32(1986) 393-406. (Pubitemid 16630741)
-
(1986)
Journal of Computer and System Sciences
, vol.32
, Issue.3
, pp. 393-406
-
-
Perrin, D.1
Pin, J.-E.2
-
31
-
-
0003051274
-
Locally linear time temporal logic
-
R. Ramanujam, Locally linear time temporal logic, in: Proc. LICS'96, 1996, pp. 118-128.
-
(1996)
Proc. LICS'96
, pp. 118-128
-
-
Ramanujam, R.1
-
32
-
-
0000305750
-
On finite monoids having only trivial subgroups
-
M.-P. Schützenberger, On finite monoids having only trivial subgroups, Inform. Control 8(1965) 190-194.
-
(1965)
Inform. Control
, vol.8
, pp. 190-194
-
-
Schützenberger, M.-P.1
-
33
-
-
23944497408
-
Diamonds are forever: The variety DA
-
World Scientific, Singapore
-
P. Tesson, D. Thérien, Diamonds are Forever: The Variety DA, in: Semigroups, Algorithms, Automata and Languages, Coimbra (Portugal) 2001, World Scientific, Singapore, 2002, pp. 475-500.
-
(2001)
Semigroups, Algorithms, Automata and Languages, Coimbra (Portugal)
, pp. 475-500
-
-
Tesson, P.1
Thérien, D.2
-
34
-
-
0028101666
-
A trace based extension of linear time temporal logic
-
IEEE Computer Society Press, Silver Spring, MD
-
P. S. Thiagarajan, A trace based extension of linear time temporal logic, in: Proc. of LICS'94, IEEE Computer Society Press, Silver Spring, MD, 1994, pp. 438-447.
-
(1994)
Proc. of LICS'94
, pp. 438-447
-
-
Thiagarajan, P.S.1
-
35
-
-
0030693561
-
An expressively complete linear time temporal logic for Mazurkiewicz traces
-
P. S. Thiagarajan, I. Walukiewicz, An expressively complete linear time temporal logic for Mazurkiewicz traces, in: Proc. LICS'97, 1997, pp. 183-194.
-
(1997)
Proc. LICS'97
, pp. 183-194
-
-
Thiagarajan, P.S.1
Walukiewicz, I.2
-
36
-
-
0018506517
-
Star-free regular sets of ω-sequences
-
W. Thomas, Star-free regular sets of ω-sequences, Inform. Control 42(1979) 148-156.
-
(1979)
Inform. Control
, vol.42
, pp. 148-156
-
-
Thomas, W.1
-
37
-
-
84878586017
-
Difficult configurations-on the complexity of LTrL
-
Springer, New York
-
I. Walukiewicz, Difficult configurations-on the complexity of LTrL, in: Proc. ICALP'98, number 1443 in LNCS, Springer, New York, 1998, pp. 140-151.
-
(1998)
Proc. ICALP'98, Number 1443 in LNCS
, pp. 140-151
-
-
Walukiewicz, I.1
-
39
-
-
84957094484
-
Classifying discrete temporal properties
-
Springer, New York
-
Th. Wilke, Classifying discrete temporal properties, in: Proc. STACS'99, number 1563 in LNCS, Springer, New York, 1999, pp. 32-46.
-
(1999)
Proc. STACS'99, Number 1563 in LNCS
, pp. 32-46
-
-
Th. Wilke1
|