Ebook: Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

This 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.

---

This 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.

---

This 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.
Content:
Front Matter....Pages -
Stochastic Pi-calculus Revisited....Pages 1-21
A Clock-Based Framework for Construction of Hybrid Systems....Pages 22-41
Advances in Quantitative Verification for Ubiquitous Computing....Pages 42-58
Mobile Membranes: Computability and Complexity....Pages 59-75
Cruise Control in Hybrid Event-B....Pages 76-93
From Distributions to Probabilistic Reactive Programs....Pages 94-111
Random Walks on Some Basic Classes of Digraphs....Pages 112-121
A Probabilistic Logic for pTiMo....Pages 122-140
An Interface Model of Software Components....Pages 141-158
A High-Level Semantics for Program Execution under Total Store Order Memory....Pages 159-176
Preemptive Type Checking in Dynamically Typed Languages....Pages 177-194
On Refinements of Boolean and Parametric Modal Transition Systems....Pages 195-212
Proof Theory of a Multi-Lane Spatial Logic....Pages 213-230
Counterexample-Preserving Reduction for Symbolic Model Checking....Pages 231-248
A Transformation from p-π to MSVL....Pages 249-266
On Slicing of Programs with Input Statements....Pages 267-281
Finitary Fairness in Action Systems....Pages 282-300
Spatio-temporal Hybrid Automata for Cyber-Physical Systems....Pages 301-318
Embedding Functions into Disjunctive Logic Programs....Pages 319-336
A Proof System in PADS....Pages 337-354
Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures....Pages 355-372
Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration....Pages 373-390
Back Matter....Pages 391-408
....Pages 409-426