Samuel Canham

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This report contains the third version of the semantics of the COMPASS Modelling Language (CML) in Hoare & He's Unifying Theories of Programming (UTP). This language has been constructed as a modelling language for systems of systems. An introduction to the syntax was given in D23.1 [33], (with a subsequent update in D31.2c [8], and a further one expected(More)
  • 1