Samuel Canham

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 2

Top Topics

Design Decisions

Clustering Algorithm

Top Venues

Theor. Comput. Sci.

Publications

Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
Unifying theories of reactive design contracts. Theor. Comput. Sci. 802 (2020)
Simon Foster, Ana Cavalcanti, Samuel Canham, Jim Woodcock, Frank Zeyda
Unifying Theories of Reactive Design Contracts. CoRR (2017)
Samuel Canham, Jim Woodcock
Three Approaches to Timed External Choice in UTP. UTP (2014)