Samuel James Canham — York Research Database

2 Working paper
1 Conference contribution
1 Article

Unifying Theories of Reactive Design Contracts
Foster, S. D., Cavalcanti, A. L. C., Canham, S. J., Woodcock, JAMES. C. P. & Zeyda, F., 8 Jan 2020, In: Theoretical Computer Science. 802, p. 105-140
Research output: Contribution to journal › Article › peer-review

Open Access
File
Generalised Reactive Processes in Isabelle/UTP
Foster, S. D. & Canham, S. J., 6 Apr 2018, (Unpublished) 56 p.
Research output: Working paper

File
Reactive Designs in Isabelle/UTP
Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Canham, S. J., 6 Apr 2018, (Unpublished) 108 p.
Research output: Working paper

File