Abstract is missing.
- Three Approaches to Timed External Choice in UTPSamuel Canham, Jim Woodcock. 1-20 [doi]
- Isabelle/UTP: A Mechanised Theory Engineering FrameworkSimon Foster, Frank Zeyda, Jim Woodcock. 21-41 [doi]
- Angelicism in the Theory of Reactive ProcessesPedro Ribeiro, Ana Cavalcanti. 42-61 [doi]
- Constructing the Views FrameworkStephan van Staden. 62-83 [doi]
- Towards Algebraic Semantics of Circus TimeKun Wei, Jim Woodcock. 84-104 [doi]
- Observation-Oriented Semantics for Calculus of Wireless SystemsXiaofeng Wu, Huibiao Zhu, Xi Wu. 105-124 [doi]
- A Formal Model for a Hybrid Programming LanguageLongfei Zhu, Qiwen Xu, Jifeng He, Huibiao Zhu. 125-142 [doi]