Shields, M.W.

• Shields, M.W.:
  Algebraic Models of Parallelism and Net Theory. 1987.

• Shields, M.W.:
  Deterministic Asynchronous Automata. 1985.

• Best, E.; Shields, M.W.:
  Some Equivalence Results for Free Choice Nets and Simple Nets and on the Periodicity of Live Free Choice Nets. 1983.

• Lauer, P.E.; Shields, M.W.; Cotronis, J.Y.:
  Formal Behavioural Specification of Concurrent Systems without Globality Assumptions. 1981.

• Shields, M.W.:
  On the Non-Sequential Behaviour of Systems Possessing a Generalised Free Choice Property. 1981.

• Lauer, P.E.; Shields, M.W.; Best, E.:
  Design and Analysis of Highly Parallel and Distributed Systems. 1980.

• Lauer, P.E.; Torrigiani, P.R.; Shields, M.W.:
  COSY - A System Specification Language Based on Paths and Processes. 1979.

• Shields, M.W.:
  Adequate Path Expressions. 1979.

• Lauer, P.E.; Best, E.; Shields, M.W.:
  On the Problem of Achieving Adequacy of Concurrent Programs. 1978.

• Lauer, P.E.; Shields, M.W.; Best, E.:
  On the Design and Certification of Asynchronous Systems of Processes, Final Report Period 1976--1977, Part 2: Formal Theory of the Basic COSY Notation. 1978.

• Lauer, P.E.; Shields, M.W.:
  Abstract Specification of Resource Accessing Disciplines: Adequacy, Starvation, Priority and Interrupts. 1977.

Back to the Petri Nets Bibliography