MASCOT - A Modular Approach to Software Construction, Operation and Test.
RRE Technical Note No 778, October 1975 (joint authorship with K Jackson).
The MASCOT Approach to Software Design and Implementation.
Defence Fellowship Thesis, London University, November 1978.
Process Synchronisation in Mascot.
Computer Journal, 22, (4), pp 332-345, November 1979 (joint authorship with K Jackson).
Act Parallel : Use Mascot.
Computer Bulletin, II/31, pp 6-9, March 1982.
Mascot Developments to Improve Software Structure and Integrity.
AGARD Conference Proceedings No 330, pp 5.1-5.14, September 1982.
The Mascot Method
Digest for IEE Colloquium on Mascot 3, January 1986.
Asynchronous Communication Systems
European Patent Specification 8711991, May 1987
Fully Asynchronous Communication.
Digest for IEE Colloquium on Mascot in Real-Time Systems, May 1987.
Asynchronous Communication Systems.
US Patent Application No 195247, May 1988.
Why the MOD developed its own system design method.
Government Computing, 3, (5), pp 52-55, October 1988.
Data Orientated Requirements Implementation Scheme (DORIS).
Digest for IEE Colloquium on Real Time Computing : the Future with Mascot, October 1988.
Four-slot fully asynchronous communication mechanism.
Proc IEE, 137, E, (1), pp 17-30, January 1990.
Data Interaction Architecture for Real-Time Embedded Multi Processors.
International Patent Application WO 91/16681, November 1991 (joint submission with E R Campbell).
A Data Interaction Architecture (DIA) for Real Time Embedded Multi Processor Systems.
Proceedings of the RAeS Conference on Computing Techniques in Guided Flight, April 1990.
Mascot Real Time Networks in Distributed System Design.
Digest for IEE Colloquium on Building Distributed Systems, November 1990.
Integrity Aspects of Real Time Networks.
Digest for IEE Colloquium on Mascot and Related Issues, December 1990.
Correctness analysis for class of asynchronous communication mechanisms.
Proc IEE, 139, E, (1), pp 35-49, January 1992.
Real Time Networks in Configurable Distributed Systems.
IEE Proceedings of the International Workshop on Configurable Distributed Systems, Imperial College, London, pp 45-59, March 1992. [Summary].
Dynamic Interactions in Distributed Real Time Networks.
Digest for IEE Colloquium on Process and Information Models for Real Time System Development, April 1993.
Data Interaction Architecture for Computer Based Systems Engineering.
Proceedings of the JFIT 1994 UK IT Forum, pp 285-293, March 1994.
Architecture for Computer Based Systems.
IEEE Proceedings of the 1994 Tutorial and Workshop on Systems Engineering for Computer Based Systems, Stockholm, pp 70-82, May 1994. [Abstract].
Temporal Aspects of Real-Time System Design.
Digest for the IEE Colloquium on Methods and Techniques for Real-Time System Development, November 1994.
Layered Architecture(s) : Principles and Practice in Concurrent and Distributed Systems.
IEEE Proceedings of the Workshop on Engineering of Computer Based Systems, New Orleans, October 1996.
Layered Architecture(s) : Principles and Practice in Concurrent and Distributed Systems.
IEEE Proceedings of the International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, pp 312-320, March 1997. [Abstract].
Integrated Circuits for Multi-Tasking Support in Single and Multi-Processor Networks.
International Patent Application WO 97/22926, June1997 (joint submission with E R Campbell).
New algorithms for asynchronous communication.
Proc IEE on Computers and Digital Techniques, 144, (4), pp 227-231, July 1997.
Role model analysis of an asynchronous communication mechanism.
Proc IEE on Computers and Digital Techniques, 144, (4), pp 232-240, July 1997.
Multi reader and multi writer asynchronous communication mechanisms.
Proc IEE on Computers and Digital Techniques, 144, (4), pp 241-243, July 1997.
Real-Time Network Architecture.
IEEE Proceedings of the 3rd World World Conference on Integrated Design and Technology, Berlin, July 1998.
Protocols for Process Interaction : Part 1 - Rationale and Specification.
Matra BAe Dynamics Report DR20197, December 2000.
Protocols for Process Interaction : Part 2 - Application.
Matra BAe Dynamics Report DR20198, December 2000.
Protocols for Process Interaction : Part 3 - Realisation.
Matra BAe Dynamics Report DR20199, December 2000.
Protocols for process interaction.
Proc IEE on Computers and Digital Techniques, 150, (3), pp 157-182, May 2003. [Abstract].
Freshness specification for a class of asynchronous communication mechanisms.
Proc IEE on Computers and Digital Techniques, 151, (2), pp 110-118, March 2004.
Data transmission analysis for a pair of asynchronous communication algorithms.
Accepted for publication, Proc IEE on Computers and Digital Techniques.
Role Modelling for ACM Development.
ASL Tutorial (co-located with FM'05), Newcastle University, UK, 19th July 2005. [PowerPoint file in zip format (19.65MB)].