-
1
-
-
84869159405
-
Complete and tractable local linear time temporal logics over traces
-
number 2380 in LNCS, Springer Verlag
-
B. Adsul and M. Sohoni. Complete and tractable local linear time temporal logics over traces. In Proc, of ICALP'02, number 2380 in LNCS, pages 926-937. Springer Verlag, 2002.
-
(2002)
Proc, of ICALP'02
, pp. 926-937
-
-
Adsul, B.1
Sohoni, M.2
-
2
-
-
0029203319
-
Model-checking of causality properties
-
R. Alur, D. Peled, and W. Penczek. Model-checking of causality properties. In Proc. of LICS'95, pages 90-100, 1995.
-
(1995)
Proc. of LICS'95
, pp. 90-100
-
-
Alur, R.1
Peled, D.2
Penczek, W.3
-
3
-
-
35048889455
-
A pure future local temporal logic beyond cograph-monoids
-
M. Ito, editor
-
V. Diekert. A pure future local temporal logic beyond cograph-monoids. In M. Ito, editor, Proc. of the RIMS Symposium on Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory, Kyoto, Japan 2002, 2002.
-
(2002)
Proc. of the RIMS Symposium on Algebraic Systems, Formal Languages and Conventional and Unconventional Computation Theory, Kyoto, Japan 2002
-
-
Diekert, V.1
-
4
-
-
84974539367
-
LTL is expressively complete for Mazurkiewicz traces
-
number 1853 in LNCS, Springer Verlag
-
V. Diekert and P. Gastin. LTL is expressively complete for Mazurkiewicz traces. In Proc. of ICALP'00, number 1853 in LNCS, pages 211-222. Springer Verlag, 2000.
-
(2000)
Proc. of ICALP'00
, pp. 211-222
-
-
Diekert, V.1
Gastin, P.2
-
5
-
-
84937428794
-
Local temporal logic is expressively complete for cograph dependence alphabets
-
number 2250 in LNAI, Springer Verlag
-
V. Diekert and P. Gastin. Local temporal logic is expressively complete for cograph dependence alphabets. In Proc. of LPAR'01, number 2250 in LNAI, pages 55-69. Springer Verlag, 2001.
-
(2001)
Proc. of LPAR'01
, pp. 55-69
-
-
Diekert, V.1
Gastin, P.2
-
7
-
-
0004024352
-
-
V. Diekert and G. Rozenberg, editors. World Scientific, Singapore
-
V. Diekert and G. Rozenberg, editors. The Book of Traces. World Scientific, Singapore, 1995.
-
(1995)
The Book of Traces
-
-
-
10
-
-
35248874238
-
Satisfiability and model checking for MSO-definable temporal logics are in PSPACE
-
number 2761 in LNCS, Springer Verlag
-
P. Gastin and D. Kuske. Satisfiability and model checking for MSO-definable temporal logics are in PSPACE. In Proc. of CONCUR'03, number 2761 in LNCS, pages 222-236. Springer Verlag, 2003.
-
(2003)
Proc. of CONCUR'03
, pp. 222-236
-
-
Gastin, P.1
Kuske, D.2
-
11
-
-
84869155465
-
An elementary expressively complete temporal logic for Mazurkiewicz traces
-
number 2380 in LNCS, pages 938-949. Springer Verlag
-
P. Gastin and M. Mukund. An elementary expressively complete temporal logic for Mazurkiewicz traces. In Proc. of ICALP'02, number 2380 in LNCS, pages 938-949. Springer Verlag, 2002.
-
(2002)
Proc. of ICALP'02
-
-
Gastin, P.1
Mukund, M.2
-
12
-
-
21144456922
-
Local LTL with past constants is expressively complete for Mazurkiewicz traces
-
number 2747 in LNCS, Springer Verlag
-
P. Gastin, M. Mukund, and K. Narayan Kumar. Local LTL with past constants is expressively complete for Mazurkiewicz traces. In Proc. of MFCS'03, number 2747 in LNCS, pages 429-438. Springer Verlag, 2003.
-
(2003)
Proc. of MFCS'03
, pp. 429-438
-
-
Gastin, P.1
Mukund, M.2
Narayan Kumar, K.3
-
14
-
-
0003862813
-
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
, vol.78
-
-
Mazurkiewicz, A.1
-
15
-
-
0011156141
-
Linear time temporal logics over Mazurkiewicz traces
-
number 1113 in LNCS, Springer Verlag
-
M. Mukund and P.S. Thiagarajan. Linear time temporal logics over Mazurkiewicz traces. In Proc. of MFCS'96, number 1113 in LNCS, pages 62-92. Springer Verlag, 1996.
-
(1996)
Proc. of MFCS'96
, pp. 62-92
-
-
Mukund, M.1
Thiagarajan, P.S.2
-
16
-
-
84947912042
-
A ν-calculus with local views for sequential agents
-
number 969 in LNCS, Springer Verlag
-
P. Niebert. A ν-calculus with local views for sequential agents. In Proc. of MFCS'95, number 969 in LNCS, pages 563-573. Springer Verlag, 1995.
-
(1995)
Proc. of MFCS'95
, pp. 563-573
-
-
Niebert, P.1
-
18
-
-
0003051274
-
Locally linear time temporal logic
-
R. Ramanujam. Locally linear time temporal logic. In Proc. of LICS'96, pages 118-128, 1996.
-
(1996)
Proc. of LICS'96
, pp. 118-128
-
-
Ramanujam, R.1
-
19
-
-
0028101666
-
A trace based extension of linear time temporal logic
-
IEEE Computer Society Press
-
P.S. Thiagarajan. A trace based extension of linear time temporal logic. In Proc. of LICS'94, pages 438-447. IEEE Computer Society Press, 1994.
-
(1994)
Proc. of LICS'94
, pp. 438-447
-
-
Thiagarajan, P.S.1
-
20
-
-
0030693561
-
An expressively complete linear time temporal logic for Mazurkiewicz traces
-
P.S. Thiagarajan and I. Walukiewicz. An expressively complete linear time temporal logic for Mazurkiewicz traces. In Proc. of LICS'97, pages 183-194, 1997.
-
(1997)
Proc. of LICS'97
, pp. 183-194
-
-
Thiagarajan, P.S.1
Walukiewicz, I.2
-
21
-
-
84878586017
-
Difficult configurations - On the complexity of LTrL
-
number 1443 in LNCS, Springer Verlag
-
I. Walukiewicz. Difficult configurations - on the complexity of LTrL. In Proc. of ICALP'98, number 1443 in LNCS, pages 140-151. Springer Verlag, 1998.
-
(1998)
Proc. of ICALP'98
, pp. 140-151
-
-
Walukiewicz, I.1
|