Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article | Monograph
Number of items: 3.

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) (2019) Unifying Theories of Reactive Design Contracts. Theoretical Computer Science. ISSN 0304-3975

Monograph

Foster, Simon David orcid.org/0000-0002-9889-9514 and Canham, Samuel James (2018) 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) (2018) Reactive Designs in Isabelle/UTP. Working Paper. (Unpublished)

This list was generated on Sun Nov 24 04:10:59 2019 GMT.