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