02629oam 2200589 450 991014350410332120210716230318.03-540-49211-910.1007/3-540-49211-9(CKB)1000000000210939(SSID)ssj0000320764(PQKBManifestationID)11213059(PQKBTitleCode)TC0000320764(PQKBWorkID)10258150(PQKB)11283564(DE-He213)978-3-540-49211-5(MiAaPQ)EBC3072117(MiAaPQ)EBC6486146(PPN)155230492(EXLCZ)99100000000021093920210716d1998 uy 0engurnn|008mamaatxtccrAbstract compositional analysis of iterated relations a structural approach to complex state transition systems /Frederic Geurts1st ed. 1998.Berlin, Heidelberg :Springer,[1998]©19981 online resource (XII, 280 p. 78 illus.) Lecture Notes in Computer Science ;1426Bibliographic Level Mode of Issuance: Monograph3-540-65506-9 Includes bibliographical references and index.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.Lecture notes in computer science ;1426.Abstract data types (Computer science)System analysisElectronic data processingStructured techniquesAbstract data types (Computer science)System analysis.Electronic data processingStructured techniques.005.73Geurts Frederic1965-929151MiAaPQMiAaPQUtOrBLWBOOK9910143504103321Abstract compositional analysis of iterated relations2088100UNINA