Publications by Dr Joey Coleman - ePrints

Browsing publications by Dr Joey Coleman.

Newcastle Authors	Title	Year
Dr Joey Coleman	Extending Computational Tree Logic with Relations and Undefinedness	2010
Dr Leonardus Arief Dr Joey Coleman Dr David Greathead	How Paranoid Are You?: Issues in Location Information of Ambient Systems	2010
Dr Joey Coleman	The Beginnings of a Model for Atomicity Refinement of Expressions	2009
Dr Joey Coleman	[PhD Thesis] Constructing a Tractable Reasoning Framework upon a Fine-Grained Structural Operational Semantics	2008
Dr Joey Coleman	Constructing a Tractable Reasoning Framework upon a Fine-Grained Structural Operational Semantics	2008
Dr Joey Coleman	Expression Decomposition in a Rely/Guarantee Context	2008
Dr Joey Coleman	Expression decomposition in a rely/guarantee context	2008
Dr Joey Coleman Emeritus Professor Cliff Jones	A structural proof of the soundness of rely/guarantee rules	2007
Dr Joey Coleman Emeritus Professor Cliff Jones	A structural proof of the soundness of rely/guarantee rules (revised)	2007
Dr Joey Coleman Emeritus Professor Cliff Jones	Atomicity: A unifying concept in computer science papers from dagstuhl seminar 06121 J.UCS special issue	2007
Dr Joey Coleman Emeritus Professor Cliff Jones	A structural proof of the soundness of rely/guarantee rules	2006
Dr Joey Coleman Nigel Jefferson Emeritus Professor Cliff Jones	Comments on several years of teaching of modelling programming language concepts	2006
Dr Joey Coleman	Determining the Specification of a Control System: an Illustrative Example	2006
Dr Joey Coleman Emeritus Professor Cliff Jones	Guaranteeing the soundness of rely/guarantee rules	2006
Dr Joey Coleman	Examining BPEL's Compensation Construct	2005
Dr Joey Coleman Emeritus Professor Cliff Jones Emeritus Professor Alexander Romanovsky Dr Elena Troubitsyna	RODIN (Rigorous Open Development Environment for Complex Systems)	2005
Dr Joey Coleman Nigel Jefferson Emeritus Professor Cliff Jones	Black Tie Optional: Modelling Programming Language Concepts	2004
Dr Joey Coleman	Features of BPEL Modelled via Structural Operational Semantics [M. Phil Thesis]	2004