Abstract Compositional Analysis of Iterated Relations A Structural Approach to Complex State Transition Systems /
Geurts, Frederic.
Abstract Compositional Analysis of Iterated Relations A Structural Approach to Complex State Transition Systems / [electronic resource] : by Frederic Geurts. - 1st ed. 1998. - XII, 280 p. 78 illus. online resource. - Lecture Notes in Computer Science, 1426 1611-3349 ; . - Lecture Notes in Computer Science, 1426 .
Prologue: Aims, Themes, and Motivations -- Prologue: Aims, Themes, and Motivations -- Mathematical Framework: Iterated Relations and Composition -- Dynamics of Relations -- Dynamics of Composed Relations -- Abstract Complexity: Abstraction, Invariance, Attraction -- Abstract Observation of Dynamics -- Invariance, Attraction, Complexity -- Abstract Compositional Analysis of Systems: Dynamics and Computations -- Compositional Analysis of Dynamical Properties -- Case Studies: Compositional Analysis of Dynamics -- Experimental Compositional Analysis of Cellular Automata -- Compositional Analysis of Computational Properties -- Epilogue: Conclusions and Directions for Future Work.
9783540492115
10.1007/3-540-49211-9 doi
Computer science.
Computers, Special purpose.
Software engineering.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Software Engineering.
QA75.5-76.95
004.0151
Abstract Compositional Analysis of Iterated Relations A Structural Approach to Complex State Transition Systems / [electronic resource] : by Frederic Geurts. - 1st ed. 1998. - XII, 280 p. 78 illus. online resource. - Lecture Notes in Computer Science, 1426 1611-3349 ; . - Lecture Notes in Computer Science, 1426 .
Prologue: Aims, Themes, and Motivations -- Prologue: Aims, Themes, and Motivations -- Mathematical Framework: Iterated Relations and Composition -- Dynamics of Relations -- Dynamics of Composed Relations -- Abstract Complexity: Abstraction, Invariance, Attraction -- Abstract Observation of Dynamics -- Invariance, Attraction, Complexity -- Abstract Compositional Analysis of Systems: Dynamics and Computations -- Compositional Analysis of Dynamical Properties -- Case Studies: Compositional Analysis of Dynamics -- Experimental Compositional Analysis of Cellular Automata -- Compositional Analysis of Computational Properties -- Epilogue: Conclusions and Directions for Future Work.
9783540492115
10.1007/3-540-49211-9 doi
Computer science.
Computers, Special purpose.
Software engineering.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Software Engineering.
QA75.5-76.95
004.0151