Professor Ian Hayes
Emeritus Professor Cliff Jones
| Specifying and Reasoning about Shared Variable Concurrency | 2023 |
|
Professor Ian Hayes
Dr Andrius Velykis
| An Algebra of Synchronous Atomic Steps | 2016 |
|
Emeritus Professor Cliff Jones
Professor Ian Hayes
| Balancing expressiveness in formal approaches to concurrency | 2015 |
|
Professor Ian Hayes
Emeritus Professor Cliff Jones
| Laws and semantics for rely-guarantee refinement | 2014 |
|
Professor Ian Hayes
Emeritus Professor Cliff Jones
| Comparing Degrees of Non-Determinism in Expression Evaluation | 2013 |
|
Professor Ian Hayes
Emeritus Professor Cliff Jones
| Reasoning about concurrent programs: Refining rely-guarantee thinking | 2013 |
|
Professor Ian Hayes
Emeritus Professor Cliff Jones
| Refining rely-guarantee thinking | 2012 |
|
Professor Ian Hayes
Emeritus Professor Cliff Jones
| Comparing Models of Nondeterministic Expression Evaluation | 2011 |
|
Professor Ian Hayes
Professor Michael Jackson
Emeritus Professor Cliff Jones
| Determining the specification of a control system from that of its environment | 2003 |
|
