Authors:

Frédéric Geurts
1. Service de Mathématiques de la Gestion, Université Libre de Bruxelles, Bruxelles, Belgium
View author publications

You can also search for this author in PubMed Google Scholar

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

Sections

eBook USD 39.99

Price excludes VAT (USA)

Softcover Book USD 54.99

Price excludes VAT (USA)

Tax calculation will be finalised at checkout

This is a preview of subscription content, log in via an institution to check for access.

Front Matter

Pages I-XIV

PDF
Prologue: Aims, Themes, and Motivations
1. Prologue: Aims, Themes, and Motivations
  
  Pages 1-18
Mathematical Framework: Iterated Relations and Composition
1. Dynamics of Relations
  
  Pages 21-52
2. Dynamics of Composed Relations
  
  Pages 53-79
Abstract Complexity: Abstraction, Invariance, Attraction
1. Abstract Observation of Dynamics
  
  Pages 83-94
2. Invariance, Attraction, Complexity
  
  Pages 95-131
Abstract Compositional Analysis of Systems: Dynamics and Computations
1. Compositional Analysis of Dynamical Properties
  
  Pages 135-161
2. Case Studies: Compositional Analysis of Dynamics
  
  Pages 163-181
3. Experimental Compositional Analysis of Cellular Automata
  
  Pages 183-216
4. Compositional Analysis of Computational Properties
  
  Pages 217-242
5. Epilogue: Conclusions and Directions for Future Work
  
  Pages 243-255
Back Matter

Pages 257-280

PDF

Service de Mathématiques de la Gestion, Université Libre de Bruxelles, Bruxelles, Belgium

Frédéric Geurts

Book Title: Abstract Compositional Analysis of Iterated Relations
Book Subtitle: A Structural Approach to Complex State Transition Systems
Authors: Frédéric Geurts
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-49211-9
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1998
Softcover ISBN: 978-3-540-65506-0Published: 18 December 1998
eBook ISBN: 978-3-540-49211-5Published: 26 June 2003
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 280
Topics: Computation by Abstract Devices, Logics and Meanings of Programs, Special Purpose and Application-Based Systems, Software Engineering