LEADER 03131nam 2200553 450 001 9910817418003321 005 20230421053043.0 010 $a3-662-03687-8 024 7 $a10.1007/978-3-662-03687-7 035 $a(CKB)2660000000027074 035 $a(SSID)ssj0000897357 035 $a(PQKBManifestationID)11483671 035 $a(PQKBTitleCode)TC0000897357 035 $a(PQKBWorkID)10903721 035 $a(PQKB)11496165 035 $a(DE-He213)978-3-662-03687-7 035 $a(MiAaPQ)EBC3097118 035 $a(EXLCZ)992660000000027074 100 $a20170208h19981998 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aElements of distributed algorithms $emodeling and analysis with Petri nets /$fWolfgang Reisig 205 $aFirst edition. 210 1$aBerlin, [Germany] ;$aHeidelberg, [Germany] :$cSpringer,$d1998. 210 4$d©1998 215 $a1 online resource (XII, 302 p.) 300 $a"With 246 Figures"--Title page. 311 $a3-642-08303-X 320 $aIncludes bibliographical references. 327 $aI. Elementary Concepts -- II. Case Studies -- III. Advanced Concepts -- IV. Case Studies -- V. Case Studies Continued: Acknowledged Messages -- VI. Case Studies Continued: Network Algorithms -- VII. State Properties of Elementary System Nets -- VIII. Interleaved Progress of Elementary System Nets -- IX. Concurrent Progress of Elementary System Nets -- X. State Properties of System Nets -- XI. Interleaved Progress of System Nets -- XII. Concurrent Progress of System Nets -- XIII. Formal Analysis of Case Studies -- References. 330 $aDistributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms. In this textbook a variety of distributed algorithms are presented independently of particular programming languages or hardware, using the graphically suggestive technique of Petri nets which is both easy to comprehend intuitively and formally rigorous. By means of temporal logic the author provides surprisingly simple yet powerful correctness proofs for the algorithms. The scope of the book ranges from distributed control and synchronization of two sites up to algorithms on any kind of networks. Numerous examples show that description and analysis of distributed algorithms in this framework are intuitive and technically transparent. 606 $aElectronic data processing$xDistributed processing 606 $aComputer algorithms 606 $aPetri nets 615 0$aElectronic data processing$xDistributed processing. 615 0$aComputer algorithms. 615 0$aPetri nets. 676 $a004.0151 700 $aReisig$b Wolfgang$f1950-$050121 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910817418003321 996 $aElements of distributed algorithms$93921191 997 $aUNINA LEADER 01941nam0-22002891i-450 001 996635071803316 005 20241220135303.0 010 $a978-84-322-4281-6 100 $a20121027d2024----km-y0itay5003----ba 101 0 $aspa 102 $aES 105 $ay|||||||001yy 200 1 $aCiencia ficcio?n$fDaniel Remón 210 $aBarcelona$cSeix Barral$d2024 215 $a187 p.$d23 cm 225 2 $aBiblioteca breve 330 $aJimena tiene treinta años y estudia en una escuela de cine. Allí conoce al narrador de esta novela. Empiezan a salir, comparten vino, viajes, conversaciones, películas malas de sobremesa y todo lo que leen y escriben.Se van a vivir juntos, proyectan identidades, hablan del futuro. Pero el futuro llega y el fantasma de la decepción se manifiesta: ¿Es esta la persona con la que quiero compartir mi vida? ¿No existe nadie mejor ahí fuera? ¿Por qué asumimos que una relación fracasa si no dura para siempre? Ciencia ficción es una historia de amor. En ella no hay futuros alternativos, naves espaciales o viajes en el tiempo. Mediante guiños a diversos géneros (comedia romántica, cine-ensayo, drama, fantasía y ciencia ficción), el narrador ejecuta una autopsia parecida a la que todos hemos practicado alguna vez después de una ruptura: una mezcla de memoria y mito, análisis y pura especulación. Tras sorprender a crítica y lectores con Literatura, considerado «uno de los mejores debuts del año» (Librotea), Daniel Remón vuelve con una nueva novela: un estilo ágil y poético, una mirada tan tierna como incisiva sobre uno de los grandes temas universales. (Fonte: editore) 410 0$12001$aBiblioteca breve 676 $a863.7 700 1$aREMÓN,$bDaniel$01782679 801 0$aIT$bcba$gREICAT 912 $a996635071803316 951 $aVI.5.A. 1271$b290219 L.M.$cVI.5.$d563656 959 $aBK 969 $aUMA 996 $aCiencia ficcio?n$94309078 997 $aUNISA