메뉴 건너뛰기




Volumn 2976, Issue , 2004, Pages 232-241

Pure future local temporal logics are expressively complete for Mazurkiewicz traces

Author keywords

Concurrency; Mazurkiewicz traces; Temporal logics

Indexed keywords

MODEL CHECKING; PROBLEM SOLVING; TEMPORAL LOGIC;

EID: 35048897436     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24698-5_27     Document Type: Article
Times cited : (12)

References (21)
  • 1
    • 84869159405 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 4
    • 84974539367 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.