Title: Automata for Branching and Layered Temporal Structures
Subjects: Logic design, Software engineering, Computer science, Artificial intelligence, Computer software, Machine theory