LEADER 03582nam  22005655  450 
001 9910254843303321
005 20200707031527.0
010   $a3-319-42900-0
024 7 $a10.1007/978-3-319-42900-7
035   $a(CKB)3850000000027329
035   $a(DE-He213)978-3-319-42900-7
035   $a(MiAaPQ)EBC6312283
035   $a(MiAaPQ)EBC5591963
035   $a(Au-PeEL)EBL5591963
035   $a(OCoLC)982482639
035   $a(PPN)200512749
035   $a(EXLCZ)993850000000027329
100   $a20170403d2017      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aModels of Computation /$fby Roberto Bruni, Ugo Montanari
205   $a1st ed. 2017.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2017.
215   $a1 online resource (XXII, 395 p. 34 illus., 1 illus. in color.) 
225 1 $aTexts in Theoretical Computer Science. An EATCS Series,$x1862-4499
311   $a3-319-42898-5 
327   $aPreliminaries -- Operational Semantics of IMP -- Induction and Recursion -- Partial Orders and Fixpoints -- Denotational Semantics of IMP -- Operational Semantics of HOFL -- Domain Theory -- HOFL Denotational Semantics -- Equivalence Between HOFL Denotational and Operational Semantics -- Calculus for Communicating Systems (CCS) -- Temporal Logic and mu-Calculus -- Pi-Calculus -- Measure Theory and Markov Chains -- Markov Chains with Actions and Non-determinism -- Performance Evaluation Process Algebra (PEPA).
330   $aThis book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is accompanied by relevant formal techniques for reasoning on it and for proving some properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language; concurrent, nondeterministic and interactive models; and probabilistic/stochastic models. The authors have class-tested the book content over many years, and it will be valuable for graduate and advanced undergraduate students of theoretical computer science and distributed systems, and for researchers in this domain. Each chapter of the book concludes with a list of exercises addressing the key techniques introduced, solutions to selected exercises are offered at the end of the book.
410  0$aTexts in Theoretical Computer Science. An EATCS Series,$x1862-4499
606   $aComputers
606   $aSoftware engineering
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
615  0$aComputers.
615  0$aSoftware engineering.
615 14$aTheory of Computation.
615 24$aSoftware Engineering/Programming and Operating Systems.
676   $a004.0151
700   $aBruni$b Roberto$4aut$4http://id.loc.gov/vocabulary/relators/aut$0157732
702   $aMontanari$b Ugo$4aut$4http://id.loc.gov/vocabulary/relators/aut
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910254843303321
996   $aModels of Computation$92504016
997   $aUNINA