Accepted Papers
Revised papers will be published as a post-proceedings, in
Springer Lecture Notes in Computer Science.
Constructing the Views Framework
Author: Stephan Van Staden
Angelicism in the theory of reactive processes
Authors: Pedro Ribeiro and Ana Cavalcanti
Isabelle/UTP: A mechanised theory engineering framework
Authors: Simon Foster, Frank Zeyda and Jim Woodcock
Towards Algebraic Semantics of Circus Time
Authors: Kun Wei and Jim Woodcock
A Formal Model for the Hybrid Programming Language
Authors: Longfei Zhu, Qiwen Xu, Jifeng He and Huibiao Zhu
Observation-Oriented Semantics for Calculus of Wireless Systems
Authors: Xiaofeng Wu and Huibiao Zhu
Timed External Choice in UTP
Authors: Samuel Canham and Jim Woodcock