Similar Items
-
Unifying Theories for Parallel Programming
by: Hoare, C, et al.
Published: (1997) -
Unified Theories of Programming
by: Hoare, C
Published: (2015) -
Unifying theories of healthiness condition
by: He, J, et al.
Published: (2000) -
Unifying Semantics for Concurrent Programming
by: Hoare, T
Published: (2013) -
Unifying Theories : A Personal Statement
by: Hoare, C
Published: (1996)