Abstract is missing.
- A Calculus of Space, Time, and Causality: Its Algebra, Geometry, LogicTony Hoare, Georg Struth, Jim Woodcock. 3-21 [doi]
- A Testing Perspective on Algebraic, Denotational, and Operational SemanticsBernhard K. Aichernig. 22-38 [doi]
- Whither Specifications as ProgramsDavid A. Naumann, Minh Ngo. 39-61 [doi]
- Connecting Fixpoints of Computations with Strict ProgressWalter Guttmann. 62-79 [doi]
- Probabilistic Semantics for RoboChart - A Weakest Completion ApproachJim Woodcock, Ana Cavalcanti, Simon Foster 0001, Alexandre Mota 0001, Kangfeng Ye. 80-105 [doi]
- Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/StateflowHaolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan. 109-129 [doi]
- Hybrid Relations in Isabelle/UTPSimon Foster. 130-153 [doi]
- The Inner and Outer Algebras of Unified ConcurrencyAndrew Butterfield. 157-175 [doi]
- Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and ChallengesIan J. Hayes, Larissa A. Meinicke. 176-197 [doi]
- UTP Semantics of a Calculus for Mobile Ad Hoc NetworksXi Wu 0005, Huibiao Zhu, Wanling Xie. 198-216 [doi]