LEADER 01145nam--2200385---450- 001 990003608580203316 005 20120110101533.0 010 $a88-87726-18-3 035 $a000360858 035 $aUSA01000360858 035 $a(ALEPH)000360858USA01 035 $a000360858 100 $a20120110d2005----km-y0itay50------ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aPittura rinascimentale e fotografia$fGianfranco Arciero$gstili compositivi e ritmi narrativi 210 $aRoma$cNuova arnica$d2005 215 $a97 p.$d21 cm 225 2 $aFotografia & creatività 410 0$12001$aFotografia & creatività 454 1$12001 606 0 $aFotografia$xTecnica 606 0 $aComposizione pittorica 676 $a750.18 700 1$aARCIERO,$bGianfranco$0611274 801 0$aIT$bsalbc$gISBD 912 $a990003608580203316 951 $aXIII.5. 336$b6100 L.G.$cXIII.5.$d00269289 959 $aBK 969 $aUMA 979 $aALESSANDRA$b90$c20120110$lUSA01$h1005 979 $aALESSANDRA$b90$c20120110$lUSA01$h1015 996 $aPittura rinascimentale e fotografia$91137307 997 $aUNISA LEADER 03905nam 22007455 450 001 9910299203603321 005 20200703134056.0 010 $a3-319-21491-8 024 7 $a10.1007/978-3-319-21491-7 035 $a(CKB)3710000000521518 035 $a(SSID)ssj0001584275 035 $a(PQKBManifestationID)16265657 035 $a(PQKBTitleCode)TC0001584275 035 $a(PQKBWorkID)14866512 035 $a(PQKB)11057872 035 $a(DE-He213)978-3-319-21491-7 035 $a(MiAaPQ)EBC6314975 035 $a(MiAaPQ)EBC5595626 035 $a(Au-PeEL)EBL5595626 035 $a(OCoLC)921141046 035 $z(PPN)258849290 035 $a(PPN)190530677 035 $a(EXLCZ)993710000000521518 100 $a20150902d2015 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aIntroduction to Concurrency Theory $eTransition Systems and CCS /$fby Roberto Gorrieri, Cristian Versari 205 $a1st ed. 2015. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015. 215 $a1 online resource (XI, 334 p. 63 illus.) 225 1 $aTexts in Theoretical Computer Science. An EATCS Series,$x1862-4499 300 $aIncludes index. 311 $a3-319-21490-X 327 $aIntroduction -- Transition Systems and Behavioral Equivalences -- CCS: A Calculus of Communicating Systems -- Algebraic Laws, Congruences and Axiomatizations -- Additional Operators -- Multi-CCS -- Glossary -- References -- Index. 330 $aThis book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition systems, which provides us with the means and the tools to express processes, to compose them, and to prove properties they enjoy. The rest of the book relies on Milner's Calculus of Communicating Systems, tailored versions of which are used to study various notions of equality between systems, and to investigate in detail the expressive power of the models considered. The authors proceed from very basic results to increasingly complex issues, with many examples and exercises that help to reveal the many subtleties of the topic. The book is suitable for advanced undergraduate and graduate students in computer science and engineering, and scientists engaged with theories of concurrency. 410 0$aTexts in Theoretical Computer Science. An EATCS Series,$x1862-4499 606 $aComputers 606 $aComputer science?Mathematics 606 $aSoftware engineering 606 $aLogic, Symbolic and mathematical 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aMathematics of Computing$3https://scigraph.springernature.com/ontologies/product-market-codes/I17001 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aComputers. 615 0$aComputer science?Mathematics. 615 0$aSoftware engineering. 615 0$aLogic, Symbolic and mathematical. 615 14$aTheory of Computation. 615 24$aMathematics of Computing. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aMathematical Logic and Foundations. 676 $a004.0151 700 $aGorrieri$b Roberto$4aut$4http://id.loc.gov/vocabulary/relators/aut$0597785 702 $aVersari$b Cristian$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910299203603321 996 $aIntroduction to Concurrency Theory$92533493 997 $aUNINA