Author:
Bollig Benedikt,Kuske Dietrich
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference21 articles.
1. Message-passing automata are expressively equivalent to EMSO logic;Bollig;Theoretical Computer Science,2006
2. On communicating finite-state machines;Brand;Journal of the ACM,1983
3. Weak second order logic and finite automata;Büchi;Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik,1960
4. Theories of automata on ω-tapes: a simplified approach;Choueka;Journal of Computer and System Sciences,1974
5. Deterministic asynchronous automata for infinite traces;Diekert;Acta Informatica,1994
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献