Abstract is missing.
- Stochastic Pi-calculus RevisitedLuca Cardelli, Radu Mardare. 1-21 [doi]
- A Clock-Based Framework for Construction of Hybrid SystemsJifeng He. 22-41 [doi]
- Advances in Quantitative Verification for Ubiquitous ComputingMarta Z. Kwiatkowska. 42-58 [doi]
- Mobile Membranes: Computability and ComplexityBogdan Aman, Gabriel Ciobanu. 59-75 [doi]
- Cruise Control in Hybrid Event-BRichard Banach, Michael Butler. 76-93 [doi]
- From Distributions to Probabilistic Reactive ProgramsRiccardo Bresciani, Andrew Butterfield. 94-111 [doi]
- hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance TestingAchim D. Brucker, Lukas Brügger, Burkhart Wolff. 112-121 [doi]
- Random Walks on Some Basic Classes of DigraphsWen-Ju Cheng, Jim Cox, Stathis Zachos. 122-140 [doi]
- A Probabilistic Logic for pTiMoGabriel Ciobanu, Armand Rotaru. 141-158 [doi]
- An Interface Model of Software ComponentsRuzhen Dong, Naijun Zhan, Liang Zhao. 159-176 [doi]
- A High-Level Semantics for Program Execution under Total Store Order MemoryBrijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim. 177-194 [doi]
- Preemptive Type Checking in Dynamically Typed LanguagesNeville Grech, Julian Rathke, Bernd Fischer 0002. 195-212 [doi]
- On Refinements of Boolean and Parametric Modal Transition SystemsJan Kretínský, Salomon Sickert. 213-230 [doi]
- Proof Theory of a Multi-Lane Spatial LogicSven Linker, Martin Hilscher. 231-248 [doi]
- Counterexample-Preserving Reduction for Symbolic Model CheckingWanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao. 249-266 [doi]
- A Transformation from p-π to MSVLLing Luo, Zhenhua Duan. 267-281 [doi]
- On Slicing of Programs with Input StatementsHärmel Nestra. 282-300 [doi]
- Deterministic Logics for ULParitosh K. Pandya, Simoni S. Shah. 301-318 [doi]
- Finitary Fairness in Action SystemsEmil Sekerinski, Tian Zhang. 319-336 [doi]
- Spatio-temporal Hybrid Automata for Cyber-Physical SystemsZhucheng Shao, Jing Liu. 337-354 [doi]
- Embedding Functions into Disjunctive Logic ProgramsYisong Wang, Jia-Huai You, Mingyi Zhang. 355-372 [doi]
- Reactive Designs of Interrupts in Circus TimeKun Wei. 373-390 [doi]
- A Proof System in PADSXinghua Yao, Min Zhang, Yixiang Chen. 391-408 [doi]
- Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data StructuresJianhua Zhao, Xuandong Li. 409-426 [doi]
- Durative Graph Transformation Rules for Modelling Real-Time ReconfigurationSteffen Ziegert, Christian Heinzemann. 427-444 [doi]