Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic-Reference-Cited by-同舟云学术

Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic

Published:2004 Issue: Volume: Page:7-21
ISSN:0302-9743
Container-title:Functional and Logic Programming
language:
Short-container-title:

Author:

Hagiya Masami,Takahashi Koichi,Yamamoto Mitsuharu,Sato Takahiro

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24754-8_2

Reference13 articles.

1. Takahashi, K., Hagiya, M.: Abstraction of link structures by regular expressions and abstract model checking of concurrent garbage collection. In: First Asian Workshop on Programming Languages and Systems, National University of Singapore, pp. 1–8 (2000), http://nicosia.is.s.u-tokyo.ac.jp/members/hagiya.html

2. Takahashi, K., Hagiya, M.: Formal proof of abstract model checking of concurrent garbage collection. In: Kamareddine, F. (ed.) Workshop on Thirty Five years of Automath, Informal Proceedings, Heriot-Watt University, pp. 115–126 (2002), http://nicosia.is.s.u-tokyo.ac.jp/members/hagiya.html

3. Takahashi, K., Hagiya, M.: Abstraction of graph transformation using temporal formulas. In: Workshop on Model-Checking for Dependable Software-Intensive Systems, International Conference on Dependable Systems and Networks, DSN 2003 (2003), http://nicosia.is.s.u-tokyo.ac.jp/members/hagiya.html

4. Lecture Notes in Computer Science;E.M. Clarke,1982

5. Lecture Notes in Computer Science;E.A. Emerson,1980

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Systems Biology of Cancer: A Challenging Expedition for Clinical and Quantitative Biologists;Frontiers in Bioengineering and Biotechnology;2014-08-19

2. Pre- and Post-Conditions Expressed in Variants of the Modal .MU.-Calculus;IEICE Transactions on Information and Systems;2009

3. Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification;Verified Software: Theories, Tools, Experiments;2008

4. A method to generate formulas for temporal logic satisfiability checkers;Electronics and Communications in Japan (Part II: Electronics);2007

5. A Decision Procedure for the Alternation-Free Two-Way Modal μ-Calculus;Lecture Notes in Computer Science;2005