default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th ICTAC 2013: Shanghai, China
- Zhiming Liu, Jim Woodcock
, Huibiao Zhu:
Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Lecture Notes in Computer Science 8049, Springer 2013, ISBN 978-3-642-39717-2 - Luca Cardelli, Radu Mardare:
Stochastic Pi-calculus Revisited. 1-21 - Jifeng He:
A Clock-Based Framework for Construction of Hybrid Systems. 22-41 - Marta Z. Kwiatkowska:
Advances in Quantitative Verification for Ubiquitous Computing. 42-58 - Bogdan Aman, Gabriel Ciobanu:
Mobile Membranes: Computability and Complexity. 59-75 - Richard Banach, Michael J. Butler:
Cruise Control in Hybrid Event-B. 76-93 - Riccardo Bresciani, Andrew Butterfield:
From Distributions to Probabilistic Reactive Programs. 94-111 - Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. 112-121 - Wen-Ju Cheng, Jim Cox, Stathis Zachos:
Random Walks on Some Basic Classes of Digraphs. 122-140 - Gabriel Ciobanu, Armand Stefan Rotaru:
A Probabilistic Logic for pTiMo. 141-158 - Ruzhen Dong, Naijun Zhan, Liang Zhao:
An Interface Model of Software Components. 159-176 - Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim:
A High-Level Semantics for Program Execution under Total Store Order Memory. 177-194 - Neville Grech, Julian Rathke, Bernd Fischer:
Preemptive Type Checking in Dynamically Typed Languages. 195-212 - Jan Kretínský, Salomon Sickert:
On Refinements of Boolean and Parametric Modal Transition Systems. 213-230 - Sven Linker, Martin Hilscher:
Proof Theory of a Multi-Lane Spatial Logic. 231-248 - Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao:
Counterexample-Preserving Reduction for Symbolic Model Checking. 249-266 - Ling Luo, Zhenhua Duan:
A Transformation from p-π to MSVL. 267-281 - Härmel Nestra:
On Slicing of Programs with Input Statements. 282-300 - Paritosh K. Pandya, Simoni S. Shah:
Deterministic Logics for UL. 301-318 - Emil Sekerinski, Tian Zhang:
Finitary Fairness in Action Systems. 319-336 - Zhucheng Shao, Jing Liu:
Spatio-temporal Hybrid Automata for Cyber-Physical Systems. 337-354 - Yisong Wang, Jia-Huai You, Mingyi Zhang:
Embedding Functions into Disjunctive Logic Programs. 355-372 - Kun Wei:
Reactive Designs of Interrupts in Circus Time. 373-390 - Xinghua Yao, Min Zhang, Yixiang Chen:
A Proof System in PADS. 391-408 - Jianhua Zhao, Xuandong Li:
Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures. 409-426 - Steffen Ziegert, Christian Heinzemann:
Durative Graph Transformation Rules for Modelling Real-Time Reconfiguration. 427-444
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-22 23:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
