On the Problem of Achieving Adequacy of Concurrent Programs. - Peter E. Lauer; Eike Best; Michael W. Shields (Formal Description of Programming Concepts, 1977)

On the abstract specification and formal analysis of synchronization properties of concurrent systems. - Peter E. Lauer; M. W. Shields (Mathematical Studies of Information Processing, 1978)

Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts. - Peter E. Lauer; M. W. Shields (ACM SIGPLAN Notices, 1978)

Design & Analysis of Highly Parallel & Distributed Systems. - Peter E. Lauer; M. W. Shields; Eike Best (Abstract Software Specifications, 1979)

A Formal Semantics for Concurrent Systems. - M. W. Shields; Peter E. Lauer (ICALP, 1979)

Adequate Path Expressions. - M. W. Shields (Semantics of Concurrent Computation, 1979)

COSY - A System Specification Language Based on Paths and Processes. - Peter E. Lauer; Piero R. Torrigiani; M. W. Shields (Acta Informatica, 1979)

Verifying Concurrent System Specification in COSY. - M. W. Shields; Peter E. Lauer (MFCS, 1980)

Interpreted COSY Programs: Programming and Verification. - Peter E. Lauer; M. W. Shields (ICDCS, 1981)

Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions. - Peter E. Lauer; M. W. Shields; John Yiannis Cotronis (ICFPC, 1981)

The Train Set Problem. - M. W. Shields (The Analysis of Concurrent Systems, 1983)

Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets. - Eike Best; M. W. Shields (CAAP, 1983)

Deterministic asynchronous automata. - M. W. Shields (Automata on Infinite Words, 1984)

Non-Sequential Behaviour. - M. W. Shields (Symposium on Programming, 1984)

Concurrent Machines. - M. W. Shields (Comput. J., 1985)

Behavioural Presentations. - M. W. Shields (REX Workshop, 1988)

Implicit System Specification and the Interface Equation. - M. W. Shields (Comput. J., 1989)

Multitraces, Hypertraces and Partial Order Semantics. - M. W. Shields (Formal Aspects Comput., 1992)

Algebraic manipulations and vector languages. - Michael W. Shields (Partial Order Methods in Verification, 1996)

Semantics of parallelism - non-interleaving representation of behaviour. - Michael W. Shields (Springer, 1997)

Cyclic Vector Languages. - M. W. Shields (CONCUR, 1997)

Overtaking in Asynchronous Periodic Systems. - David H. Pitt; M. W. Shields (Formal Aspects Comput., 1999)

An Acceptance Vector Semantics for Path Programs. - M. W. Shields (Fundam. Informaticae, 1999)

Local Invariance. - David H. Pitt; Michael W. Shields (Formal Aspects Comput., 2002)

Component-Based Design: Towards Guided Composition. - Sotiris Moschoyiannis; Michael W. Shields (ACSD, 2003)

A Set-Theoretic Framework for Component Composition. - Sotiris Moschoyiannis; Michael W. Shields (Fundam. Informaticae, 2004)

Modelling Component Behaviour with Concurrent Automata. - Sotiris Moschoyiannis; Michael W. Shields; Paul J. Krause (FESCA@ETAPS, 2005)

A True-Concurrent Interpretation of Behavioural Scenarios. - Sotiris Moschoyiannis; Paul J. Krause; Michael W. Shields (FESCA@ETAPS, 2007)

A theoretical framework for multiple neural network systems. - Mike W. Shields; Matthew C. Casey (Neurocomputing, 2008)