Abstract is missing.
- Specification Coverage for Testing in ::::Circus::::Ana Cavalcanti, Marie-Claude Gaudel. 1-45 [doi]
- UTP and SustainabilityYifeng Chen, Jeff W. Sanders. 46-73 [doi]
- A Probabilistic BPEL-Like LanguageJifeng He. 74-100 [doi]
- On Modelling User Observations in the UTPMichael J. Banks, Jeremy L. Jacob. 101-119 [doi]
- Unifying Theories of ConfidentialityMichael J. Banks, Jeremy L. Jacob. 120-136 [doi]
- SaoithÃn: A Theorem Prover for UTPAndrew Butterfield. 137-156 [doi]
- A Formal Approach to Analyzing Interference Problems in Aspect-Oriented DesignsXin Chen, Nan Ye, Wenxu Ding. 157-171 [doi]
- Programmable Verifiers in Imperative ProgrammingYifeng Chen. 172-187 [doi]
- Unifying Theories in Isabelle/HOLAbderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff. 188-206 [doi]
- Unifying Recursion in Partial, Total and General CorrectnessWalter Guttmann. 207-225 [doi]
- Halting Still Standing - Programs versus SpecificationsCornelis Huizing, Ruurd Kuiper, Tom Verhoeff. 226-233 [doi]
- Promoting ModelsQin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu. 234-252 [doi]
- Probabilistic Choice, Reversibility, Loops, and MiraclesBill Stoddart, Pete Bell. 253-270 [doi]
- Towards a Pomset Semantics for a Shared-Variable Parallel LanguageYongxin Zhao, Xu Wang, Huibiao Zhu. 271-285 [doi]
- Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level LanguageHuibiao Zhu, Fan Yang, Jifeng He. 286-308 [doi]