Automata for Branching and Layered Temporal Structures

An Investigation into Regularities of Infinite Transition Systems

Authors:

ISBN: 978-3-642-11880-7 (Print) 978-3-642-11881-4 (Online)

Table of contents (4 chapters)

  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-3

    Introduction

  3. No Access

    Book Chapter

    Pages 5-88

    Word Automata and Time Granularities

  4. No Access

    Book Chapter

    Pages 89-167

    Tree Automata and Logics

  5. No Access

    Book Chapter

    Pages 169-170

    Summary

  6. Back Matter

    Pages -