Publications by Professor Ian Hayes - ePrints

Newcastle Authors	Title	Year
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