Infinitary languages: Basic theory and applications to concurrent systems-Reference-Cited by-同舟云学术

Infinitary languages: Basic theory and applications to concurrent systems

Published:1986 Issue: Volume: Page:266-342
ISSN:0302-9743
Container-title:Current Trends in Concurrency
language:
Short-container-title:

Author:

Hoogeboom H. J.,Rozenberg G.

Publisher

Springer Berlin Heidelberg

Link

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

Reference41 articles.

1. Arnold, A.: Topological characterizations of infinite behaviours of transition systems, LNCS Lecture Notes in Computer Science by Springer Verlag 154, 1983.

2. Arnold, A. and Nivat, M.: Comportement de processus, Report LITP No. 82–12, Univ. Paris 7, 1982.

3. Boasson, L. and Nivat, N.: Adherences of languages, JCSS 20 (1980) 285–309.

4. Büchi, J.R.: On a decision method in restricted second-order arithmetic, Proc. Int. Congr. Logic, Math. and Phil.Sci. 1960, Stanford University Press, Stanford, Calif., 1962.

5. Carstensen, H.: Fairness bei Petrinetzen mit unendlichem Verhalten, Report No. 93, Fachbereich Informatik, Univ. Hamburg, 1982.

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

1. On Subclasses of Recognizable $ω ω -$ Partial Array Languages;Journal of Mathematics;2022-09-12

2. Topologies Refining the Cantor Topology on X ω;IFIP Advances in Information and Communication Technology;2010

3. Infinite Arrays and Domino Systems;Electronic Notes in Discrete Mathematics;2003-03

4. On Bounded Specifications;Logic for Programming, Artificial Intelligence, and Reasoning;2001

5. Timetrees: A Branching-Time Structure for Modeling Activity and State in Human-Computer Interaction;Human–Computer Interaction;1999-09