| 1999 |
|---|
| 19 | EE | David H. Pitt,
M. W. Shields:
Overtaking in Asynchronous Periodic Systems.
Formal Asp. Comput. 11(5): 567-590 (1999) |
| 18 | | M. W. Shields:
An Acceptance Vector Semantics for Path Programs.
Fundam. Inform. 40(2-3): 285-316 (1999) |
| 1997 |
|---|
| 17 | | M. W. Shields:
Cyclic Vector Languages.
CONCUR 1997: 25-44 |
| 1992 |
|---|
| 16 | | M. W. Shields:
Multitraces, Hypertraces and Partial Order Semantics.
Formal Asp. Comput. 4(6A): 649-672 (1992) |
| 1989 |
|---|
| 15 | | M. W. Shields:
Implicit System Specification and the Interface Equation.
Comput. J. 32(5): 399-412 (1989) |
| 1988 |
|---|
| 14 | | M. W. Shields:
Behavioural Presentations.
REX Workshop 1988: 673-689 |
| 1985 |
|---|
| 13 | | M. W. Shields:
Concurrent Machines.
Comput. J. 28(5): 449-465 (1985) |
| 1984 |
|---|
| 12 | | M. W. Shields:
Deterministic asynchronous automata.
Automata on Infinite Words 1984: 89-98 |
| 11 | | M. W. Shields:
Non-Sequential Behaviour.
Symposium on Programming 1984: 229-239 |
| 1983 |
|---|
| 10 | | 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: 141-154 |
| 9 | | M. W. Shields:
The Train Set Problem.
The Analysis of Concurrent Systems 1983: 389-396 |
| 1981 |
|---|
| 8 | | Peter E. Lauer,
M. W. Shields:
Interpreted COSY Programs: Programming and Verification.
ICDCS 1981: 137-147 |
| 7 | | Peter E. Lauer,
M. W. Shields,
John Yiannis Cotronis:
Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions.
ICFPC 1981: 115-151 |
| 1980 |
|---|
| 6 | | M. W. Shields,
Peter E. Lauer:
Verifying Concurrent System Specification in COSY.
MFCS 1980: 576-586 |
| 1979 |
|---|
| 5 | | Peter E. Lauer,
M. W. Shields,
Eike Best:
Design & Analysis of Highly Parallel & Distributed Systems.
Abstract Software Specifications 1979: 451-503 |
| 4 | | M. W. Shields,
Peter E. Lauer:
A Formal Semantics for Concurrent Systems.
ICALP 1979: 571-584 |
| 3 | | M. W. Shields:
Adequate Path Expressions.
Semantics of Concurrent Computation 1979: 249-265 |
| 2 | | Peter E. Lauer,
Piero R. Torrigiani,
M. W. Shields:
COSY - A System Specification Language Based on Paths and Processes.
Acta Inf. 12: 109-158 (1979) |
| 1978 |
|---|
| 1 | | 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: 1-32 |
