TY  - BOOK
AU  - Liu,Zhiming
AU  - Woodcock,Jim
AU  - Zhu,Huibiao
TI  - Theoretical Aspects of Computing - ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings 
SN  - 9783642397189
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computer logic
KW  - Artificial intelligence
N1  - Stochastic 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
UR  - http://dx.doi.org/10.1007/978-3-642-39718-9
ER  -