Items where authors include "Canham, Samuel James"
Article
Foster, Simon David orcid.org/0000-0002-9889-9514, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Canham, Samuel James et al. (2 more authors) (2020) Unifying Theories of Reactive Design Contracts. Theoretical Computer Science. pp. 105-140. ISSN 0304-3975
Monograph
Foster, Simon David orcid.org/0000-0002-9889-9514 and Canham, Samuel James Generalised Reactive Processes in Isabelle/UTP. Working Paper. (Unpublished)
Foster, Simon David orcid.org/0000-0002-9889-9514, Baxter, James Edward, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976 et al. (2 more authors) Reactive Designs in Isabelle/UTP. Working Paper. (Unpublished)