LEADER 04251nam 22006735 450 001 9910483356103321 005 20230329220107.0 010 $a3-642-39718-2 024 7 $a10.1007/978-3-642-39718-9 035 $a(CKB)3710000000015878 035 $a(SSID)ssj0000988301 035 $a(PQKBManifestationID)11619341 035 $a(PQKBTitleCode)TC0000988301 035 $a(PQKBWorkID)10950213 035 $a(PQKB)11675636 035 $a(DE-He213)978-3-642-39718-9 035 $a(MiAaPQ)EBC3092934 035 $a(PPN)172428513 035 $a(EXLCZ)993710000000015878 100 $a20130830d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTheoretical Aspects of Computing -- ICTAC 2013 $e10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings /$fedited by Zhiming Liu, Jim Woodcock, Huibiao Zhu 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XII, 445 p. 100 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8049 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-39717-4 320 $aIncludes bibliographical references and index. 327 $aStochastic Pi-calculus Revisited -- A Clock-Based Framework for Construction of Hybrid Systems -- Advances in Quantitative Verification for Ubiquitous Computing -- Mobile Membranes: Computability and Complexity -- Cruise Control in Hybrid Event-B -- From Distributions to Probabilistic Reactive Programs -- Hol-TestGen/fw: An Environment for Specification-Based Firewall Conformance Testing -- Random Walks on Some Basic Classes of Digraphs -- A Probabilistic Logic for pTiMo -- An Interface Model of Software Components -- A High-Level Semantics for Program Execution under Total Store Order Memory -- Preemptive Type Checking in Dynamically Typed Languages -- On Refinements of Boolean and Parametric Modal Transition Systems -- Proof Theory of a Multi-Lane Spatial Logic -- Counterexample-Preserving Reduction for Symbolic Model Checking -- A Transformation from p-pi to MSVL -- On Slicing of Programs with Input Statements -- Deterministic Logics for UL -- Finitary Fairness in Action Systems -- Spatio-temporal Hybrid Automata for Cyber-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts in Circus Time -- A Proof System in PADS -- Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures -- Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration. 330 $aThis book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8049 606 $aComputer science 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aArtificial Intelligence 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 676 $a003/.54 702 $aLiu$b Zhiming$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWoodcock$b Jim$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aZhu$b Huibiao$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483356103321 996 $aTheoretical Aspects of Computing -- ICTAC 2013$92829803 997 $aUNINA