CONCURRENT FINITE AUTOMATA AND RELATED LANGUAGE CLASSES (AN OVERVIEW)
The following sections are included:
Introduction
Definitions
Normal Forms
Relations to Other Language Classes
Characterization and Decidability Results
Closure Properties
References