Using modal logics to express and check global graph properties
暂无分享,去创建一个
[1] Maarten Marx,et al. A Road-Map on Complexity for Hybrid Logics , 1999, CSL.
[2] Maarten de Rijke,et al. Counting Objects , 1995, J. Log. Comput..
[3] Mads Dam. CTL* and ECTL* as Fragments of the Modal mu-Calculus , 1994, Theor. Comput. Sci..
[4] J. A. Bondy,et al. Graph Theory with Applications , 1978 .
[5] Kit Fine,et al. In so many possible worlds , 1972, Notre Dame J. Formal Log..
[6] Valmir Carneiro Barbosa,et al. An introduction to distributed algorithms , 1996 .
[7] Stephan Merz,et al. Model Checking , 2000 .
[8] Dániel Varró,et al. Formal analysis of BPEL. workflows with compensation by model checking , 2008, Comput. Syst. Sci. Eng..
[9] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[10] Wolfgang Thomas,et al. Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics , 1990 .
[11] Alessandro Armando,et al. LTL Model Checking for Security Protocols , 2007, 20th IEEE Computer Security Foundations Symposium (CSF'07).
[12] Ulrike Sattler,et al. The Hybrid µ-Calculus , 2001, IJCAR.
[13] Martin Strecker,et al. Modeling and Verifying Graph Transformations in Proof Assistants , 2008, TERMGRAPH@ETAPS.
[14] Rohit Chadha,et al. QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS , 2008 .
[15] Faron Moller,et al. On the expressive power of CTL , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
[16] Balder ten Cate,et al. On the Complexity of Hybrid Logics with Binders , 2005, CSL.
[17] Seif Haridi,et al. Distributed Algorithms , 1992, Lecture Notes in Computer Science.
[18] Colin Stirling,et al. Modal Mu-Calculi , 2001 .
[19] M. de Rijke,et al. Model checking hybrid logics (with an application to semistructured data) , 2006, J. Appl. Log..
[20] Mario R. F. Benevides. Modal Logics for Finite Graphs , 2003, Logic for Concurrency and Synchronisation.
[21] Balder ten Cate,et al. Hybrid logics , 2007, Handbook of Modal Logic.
[22] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[23] Elwood S. Buffa,et al. Graph Theory with Applications , 1977 .
[24] Nikolaos Papanikolaou,et al. Model – Checking Quantum Protocols , 2006 .
[25] Margherita Napoli,et al. CTLModel-Checking with Graded Quantifiers , 2008, ATVA.
[26] Maarten Marx,et al. The Computational Complexity of Hybrid Temporal Logics , 2000, Log. J. IGPL.
[27] Richard M. Karp,et al. Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.