James Baxter – Publications — York Research Database

Phone(01904) 325437
Emailjames.baxteryork.acuk

If you made any changes in Pure these will be visible here soon.

6 Conference contribution
2 Article
2 Working paper

2 results

Filter

2021

Sound reasoning in tock-CSP
Baxter, J., Ribeiro, P. & Cavalcanti, A., 17 Apr 2021, In: Acta Informatica. 59, p. 126-162
Research output: Contribution to journal › Article › peer-review

Open Access
File
2020

Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP
Foster, S. D., Baxter, J., Cavalcanti, A. L. C., Woodcock, J. & Zeyda, F., 26 Jun 2020, (E-pub ahead of print) In: Science of Computer Programming. 197, 40 p., 102510.
Research output: Contribution to journal › Article › peer-review

Open Access
File