LEADER 03450nam  22006375  450 
001 9910484318803321
005 20230405230229.0
010   $a3-642-40184-8
024 7 $a10.1007/978-3-642-40184-8
035   $a(CKB)3710000000002668
035   $a(SSID)ssj0000962601
035   $a(PQKBManifestationID)11510089
035   $a(PQKBTitleCode)TC0000962601
035   $a(PQKBWorkID)10969415
035   $a(PQKB)10132533
035   $a(DE-He213)978-3-642-40184-8
035   $a(MiAaPQ)EBC3093605
035   $a(PPN)172429102
035   $a(EXLCZ)993710000000002668
100   $a20130723d2013      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCONCUR 2013 -- Concurrency Theory $e24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings /$fedited by Pedro R. D'Argenio, Hernan Melgratti
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XIV, 562 p. 83 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8052
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-40183-X 
327   $aProcess Semantics and Modal Transition Systems.- VAS and Pushdown Systems.- Pi Calculus and Interaction Nets -- Linearizability and Verification of Concurrent Programs -- Verification of Infinite Models, Model Measure and Reversibility.- Stochastic Models.- Message-Based Interacting Processes.-  Principles of Automatic Verification -- Games and Control Synthesis.
330   $aThis book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory, CONCUR 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 34 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 115 submissions. The papers are organized in topics such as process semantics and modal transition systems, VAS and pushdown systems, Pi calculus and interaction nets, linearizability and verification of concurrent programs, verification of infinite models, model measure and reversibility, stochastic models, message-based interaction processes, principles of automatic verification, and games and control synthesis.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8052
606   $aComputer science
606   $aSoftware engineering
606   $aComputer science?Mathematics
606   $aMathematical statistics
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aProbability and Statistics in Computer Science
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputer science?Mathematics.
615  0$aMathematical statistics.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aProbability and Statistics in Computer Science.
676   $a005.1015113
702   $aD'Argenio$b Pedro R$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMelgratti$b Hernan$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a9910484318803321
996   $aCONCUR 2013 -- Concurrency Theory$92830794
997   $aUNINA