Abstract is missing.
- A Discrete Geometric Model of Concurrent Program ExecutionBernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth. 1-25 [doi]
- A New Roadmap for Linking Theories of ProgrammingJifeng He. 26-43 [doi]
- Towards a UTP Semantics for ModelicaSimon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock. 44-64 [doi]
- A Two-Way Path Between Formal and Informal Design of Embedded SystemsMingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan. 65-92 [doi]
- A Denotational Semantics for Parameterised Networks of Synchronised AutomataSiqi Li, Eric Madelaine. 93-113 [doi]
- UTP Semantics of Reactive Processes with ContinuationsGerard Ekembe Ngondi, Jim Woodcock. 114-133 [doi]
- A Stepwise Approach to Linking TheoriesPedro Ribeiro, Ana Cavalcanti, Jim Woodcock. 134-154 [doi]
- An Axiomatic Value Model for Isabelle/UTPFrank Zeyda, Simon Foster, Leo Freitas. 155-175 [doi]
- UTP Semantics for rTiMoWanling Xie, Shuangqing Xiang. 176-196 [doi]
- UTPCalc - A Calculator for UTP PredicatesAndrew Butterfield. 197-216 [doi]