LEADER 02627oam 2200589 450 001 996466160603316 005 20210716230318.0 010 $a3-540-49211-9 024 7 $a10.1007/3-540-49211-9 035 $a(CKB)1000000000210939 035 $a(SSID)ssj0000320764 035 $a(PQKBManifestationID)11213059 035 $a(PQKBTitleCode)TC0000320764 035 $a(PQKBWorkID)10258150 035 $a(PQKB)11283564 035 $a(DE-He213)978-3-540-49211-5 035 $a(MiAaPQ)EBC3072117 035 $a(MiAaPQ)EBC6486146 035 $a(PPN)155230492 035 $a(EXLCZ)991000000000210939 100 $a20210716d1998 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAbstract compositional analysis of iterated relations $ea structural approach to complex state transition systems /$fFrederic Geurts 205 $a1st ed. 1998. 210 1$aBerlin, Heidelberg :$cSpringer,$d[1998] 210 4$d©1998 215 $a1 online resource (XII, 280 p. 78 illus.) 225 1 $aLecture Notes in Computer Science ;$v1426 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-65506-9 320 $aIncludes bibliographical references and index. 327 $aPrologue: 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. 410 0$aLecture notes in computer science ;$v1426. 606 $aAbstract data types (Computer science) 606 $aSystem analysis 606 $aElectronic data processing$xStructured techniques 615 0$aAbstract data types (Computer science) 615 0$aSystem analysis. 615 0$aElectronic data processing$xStructured techniques. 676 $a005.73 700 $aGeurts$b Frederic$f1965-$0929151 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996466160603316 996 $aAbstract compositional analysis of iterated relations$92088100 997 $aUNISA