Abstract Compositional Analysis of Iterated Relations

A Structural Approach to Complex State Transition Systems

  • Frédéric Geurts

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1426)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Prologue: Aims, Themes, and Motivations

  3. Mathematical Framework: Iterated Relations and Composition

  4. Abstract Complexity: Abstraction, Invariance, Attraction

  5. Abstract Compositional Analysis of Systems: Dynamics and Computations

  6. Back Matter
    Pages 257-280

About this book

Keywords

Compositional Analysis Dynamical Systems Iterated Relations Program Analysis State Transitions Systems complexity

Authors and affiliations

  • Frédéric Geurts
    • 1
  1. 1.Service de Mathématiques de la GestionUniversité Libre de BruxellesBruxellesBelgium

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-49211-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65506-0
  • Online ISBN 978-3-540-49211-5
  • Series Print ISSN 0302-9743
  • About this book