Language Classes Defined by Concurrent Finite Automata

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Jantzen, Matthias | Kudlek, Manfred | Zetzsche, Georg

Affiliations: Department Informatik, MIN-Fakultät, Universität Hamburg, Vogt-Kölln-Straße 30. D-22527 Hamburg, Germany. {jantzen,kudlek,3zetzsch}@informatik.uni-hamburg.de

Note: [] Address for correspondence: Department Informatik, MIN-Fakultät, Universität Hamburg, Vogt-Kölln-Straße 30. D-22527 Hamburg, Germany

Abstract: This paper presents results regarding the various relations among the language classes defined by Concurrent Finite Automata, relations to other language classes, as well as decidability and closure properties.

Keywords: Finite automata, Petri nets, language classes

Journal: Fundamenta Informaticae, vol. 85, no. 1-4, pp. 267-280, 2008