Simon David Foster

Search results

• 2018

  Compositional Assume-Guarantee Reasoning of Control Law Diagrams using UTP

  Ye, K., Foster, S. D. & Woodcock, J. C. P., Apr 2018, (Unpublished) 202 p.

  Research output: Working paper

  File

• Generalised Reactive Processes in Isabelle/UTP

  Foster, S. D. & Canham, S. J., 6 Apr 2018, (Unpublished) 56 p.

  Research output: Working paper

  File

• Isabelle/UTP: Mechanised Theory Engineering for the UTP

  Foster, S. D., Zeyda, F., Nemouchi, Y., De Oliveira Salazar Ribeiro, P. F. & Wolff, B., 4 Apr 2018, (Unpublished) 162 p.

  Research output: Working paper

  File

• Kleene Algebra in Unifying Theories of Programming

  Foster, S. D., 5 Apr 2018, (Unpublished) 6 p.

  Research output: Working paper

  File

• Reactive Designs in Isabelle/UTP

  Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Woodcock, J. C. P. & Canham, S. J., 6 Apr 2018, (Unpublished) 108 p.

  Research output: Working paper

  File

• Stateful-Failure Reactive Designs in Isabelle/UTP

  Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C. & Woodcock, J. C. P., 17 Apr 2018, (Unpublished).

  Research output: Working paper

  File

• Theory of Designs in Isabelle/UTP

  Foster, S. D., Nemouchi, Y. & Zeyda, F., 6 Apr 2018, (Unpublished) 47 p.

  Research output: Working paper

  File