Reactive automata-Reference-Cited by-同舟云学术

Reactive automata

Published:2011-04 Issue:4 Volume:209 Page:692-704
ISSN:0890-5401
Container-title:Information and Computation
language:en
Short-container-title:Information and Computation

Author:

Crochemore Maxime,Gabbay Dov M.

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science

Reference12 articles.

1. A.V. Aho, Algorithms for finding patterns in strings, in: Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A), Elsevier and MIT Press, 1990, pp. 255–300, ISBN 0-444-88071-2.

2. H. Barringer, D.M. Gabbay, D. Rydeheard, Reactive grammars, in: N. Dershowitz, E. Nissan (Eds.), Language, Culture, Computation, LNCS, Springer, in press (in honour of Yakov Choueka).

3. Computing forbidden words of regular languages;Béal;Fundamenta Informaticae,2003

4. Reactive Kripke semantics and arc accessibility;Gabbay,2004

5. Reactive Kripke models and contrary-to-duty obligations;Gabbay,2008

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

1. A Categorical Metamodel for Reactive Kripke Frames;International Journal of Advanced Statistics and IT&C for Economics and Life Sciences;2023-12-01

2. Conditional transition systems with upgrades;Science of Computer Programming;2020-02

3. The Talmudic Logic Project, Ongoing Since 2008;Logica Universalis;2019-11

4. Traditional Software Reliability Models Are Based on Brute Force and Reject Hoare’s Rule;Advances in Intelligent Systems and Computing;2018-06-13

5. Crashing Simulated Planes is Cheap: Can Simulation Detect Robotics Bugs Early?;2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST);2018-04