Automata for branching and layered temporal structures an investigation into regularities of infinite transition systems - Puppis, Gabriele; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2010)
Keywords: Machine theory; Computer Science; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Software Engineering; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Algorithm Analysis and Problem Complexity