Michael W. Shields

Publication Activity (10 Years)

Years Active: 1977-2009
Publications (10 Years): 0

Publications

Sotiris Moschoyiannis, Paul J. Krause, Michael W. Shields
A True-Concurrent Interpretation of Behavioural Scenarios. Electron. Notes Theor. Comput. Sci. 203 (7) (2009)
Sotiris Moschoyiannis, Michael W. Shields, Paul J. Krause
Modelling Component Behaviour with Concurrent Automata. Electron. Notes Theor. Comput. Sci. 141 (3) (2005)
Sotiris Moschoyiannis, Michael W. Shields
A Set-Theoretic Framework for Component Composition. Fundam. Informaticae 59 (4) (2004)
Sotiris Moschoyiannis, Michael W. Shields
Component-Based Design: Towards Guided Composition. ACSD (2003)
David H. Pitt, Michael W. Shields
Local Invariance. Formal Aspects Comput. 14 (1) (2002)
Michael W. Shields
Algebraic manipulations and vector languages. Partial Order Methods in Verification (1996)
Peter E. Lauer, Eike Best, Michael W. Shields
On the Problem of Achieving Adequacy of Concurrent Programs. Formal Description of Programming Concepts (1977)