Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Joey Coleman.

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