Concurrency and automata on infinite sequences-Reference-Cited by-同舟云学术

Concurrency and automata on infinite sequences

Published: Issue: Volume: Page:167-183
ISSN:
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Park David

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/BFb0017309.pdf

Reference13 articles.

1. Brzozowski, J.A. Derivatives of regular expressions. J. ACM 11, 481–494 (1964)

2. Büchi, J.R. Weak second order arithmetic and finite automata. Z. Math. Logik u Grund. Math. 6, 66–92 (1960).

3. Büchi, J.R. On a decision method in restricted second order arithmetic. Proc. Int. Congr. Logic, Method., Phil. of Sci. 1960. Stanford U. Press, 1962.

4. Choueka, Y. Theories of automata on ω-tapes: a simplified approach. J. Comp. Sys. Sci. 8, 117–141 (1974).

5. Ginzburg, A. A procedure for checking equality of regular expressions. J. ACM 14, 355–362 (1967).

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

1. A Bisimulation-Based Foundation for Scale Reductions of Continuous-Time Markov Chains;IEEE Transactions on Automatic Control;2024-09

2. A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

3. Verification of declarative LTL-specification of control programs behavior;Modeling and Analysis of Information Systems;2024-06-13

4. Time, causality, and realizability: Engineering interactive, distributed software systems;Journal of Systems and Software;2024-04

5. Bisimulations of nonlinear feedback shift registers;International Journal of Control;2024-03-21