M. W. Shields

Publication Activity (10 Years)

Years Active: 1978-1999
Publications (10 Years): 0

Publications

David H. Pitt, M. W. Shields
Overtaking in Asynchronous Periodic Systems. Formal Aspects Comput. 11 (5) (1999)
M. W. Shields
An Acceptance Vector Semantics for Path Programs. Fundam. Informaticae 40 (2-3) (1999)
M. W. Shields
Cyclic Vector Languages. CONCUR (1997)
M. W. Shields
Multitraces, Hypertraces and Partial Order Semantics. Formal Aspects Comput. 4 (6A) (1992)
M. W. Shields
Implicit System Specification and the Interface Equation. Comput. J. 32 (5) (1989)
M. W. Shields
Behavioural Presentations. REX Workshop (1988)
M. W. Shields
Concurrent Machines. Comput. J. 28 (5) (1985)
M. W. Shields
Non-Sequential Behaviour. Symposium on Programming (1984)
M. W. Shields
Deterministic asynchronous automata. Automata on Infinite Words (1984)
Eike Best, M. W. Shields
Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets. CAAP (1983)
M. W. Shields
The Train Set Problem. The Analysis of Concurrent Systems (1983)
Peter E. Lauer, M. W. Shields
Interpreted COSY Programs: Programming and Verification. ICDCS (1981)
Peter E. Lauer, M. W. Shields, John Yiannis Cotronis
Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions. ICFPC (1981)
M. W. Shields, Peter E. Lauer
Verifying Concurrent System Specification in COSY. MFCS (1980)
M. W. Shields, Peter E. Lauer
A Formal Semantics for Concurrent Systems. ICALP (1979)
M. W. Shields
Adequate Path Expressions. Semantics of Concurrent Computation (1979)
Peter E. Lauer, Piero R. Torrigiani, M. W. Shields
COSY - A System Specification Language Based on Paths and Processes. Acta Informatica 12 (1979)
Peter E. Lauer, M. W. Shields, Eike Best
Design & Analysis of Highly Parallel & Distributed Systems. Abstract Software Specifications (1979)
Peter E. Lauer, M. W. Shields
Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts. ACM SIGPLAN Notices 13 (12) (1978)
Peter E. Lauer, M. W. Shields
On the abstract specification and formal analysis of synchronization properties of concurrent systems. Mathematical Studies of Information Processing (1978)