LEADER 03563nam  22006975  450 
001 9910298989703321
005 20200701160835.0
010   $a3-662-45198-0
024 7 $a10.1007/978-3-662-45198-4
035   $a(CKB)3710000000356740
035   $a(EBL)1974111
035   $a(SSID)ssj0001452000
035   $a(PQKBManifestationID)11834512
035   $a(PQKBTitleCode)TC0001452000
035   $a(PQKBWorkID)11479633
035   $a(PQKB)11768934
035   $a(MiAaPQ)EBC1974111
035   $a(DE-He213)978-3-662-45198-4
035   $a(PPN)184493862
035   $a(EXLCZ)993710000000356740
100   $a20150206d2014      u|             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aSemantics of Probabilistic Processes$b[electronic resource] $eAn Operational Approach /$fby Yuxin Deng
205   $a1st ed. 2014.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014.
215   $a1 online resource (258 p.)
300   $aDescription based upon print version of record.
311   $a3-662-45197-2 
320   $aIncludes bibliographical references and index.
327   $a1. Introduction -- 2. Mathematical Preliminaries -- 3. Probabilistic Bisimulation -- 4. Probabilistic Testing Semantics -- 5. Testing Finite Probabilistic Processes -- 6. Testing Finitary Probabilistic Processes -- 7. Weak probabilistic bisimulation -- Index.
330   $aThis book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics. It can also be used by researchers and practitioners either for advanced study or for technical reference.
606   $aComputer logic
606   $aMathematical logic
606   $aComputer science?Mathematics
606   $aMathematical statistics
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028
606   $aProbability and Statistics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17036
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aComputer science?Mathematics.
615  0$aMathematical statistics.
615 14$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aProbability and Statistics in Computer Science.
676   $a004
676   $a004.0151
676   $a005.1015113
676   $a005.131
676   $a005.55
700   $aDeng$b Yuxin$4aut$4http://id.loc.gov/vocabulary/relators/aut$0904551
906   $aBOOK
912   $a9910298989703321
996   $aSemantics of Probabilistic Processes$92022602
997   $aUNINA