M. W. Shields

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