Abstract is missing.
- Unifying Theories of Undefinedness in UTPJim Woodcock, Victor Bandur. 1-22 [doi]
- Unifying Theories of Programming with MonadsJeremy Gibbons. 23-67 [doi]
- Circus Time with Reactive DesignsKun Wei, Jim Woodcock, Ana Cavalcanti. 68-87 [doi]
- Algebra Unifies Operational CalculiStephan van Staden, Tony Hoare. 88-104 [doi]
- A Probabilistic Theory of Designs Based on DistributionsRiccardo Bresciani, Andrew Butterfield. 105-123 [doi]
- 2Andrew Butterfield. 124-143 [doi]
- Conscriptions: A New Relational Model for Sequential ComputationsSteve Dunne. 144-163 [doi]
- Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using MaudeHuibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin. 164-185 [doi]
- Unifying Operational Semantics with Algebraic Semantics for Instantaneous ReactionsChengcheng Wu, Yongxin Zhao, Huibiao Zhu. 186-203 [doi]
- Higher-Order UTP for a Theory of MethodsFrank Zeyda, Ana Cavalcanti. 204-223 [doi]
- Denotational Semantics for a Probabilistic Timed Shared-Variable LanguageHuibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin. 224-247 [doi]