Lauer, P.E.

• Janicki, R.; Lauer, P.E.:
  On the Semantics of Priority Systems. 1988.

• Lauer, P.E.; Janicki, R.:
  An Introduction to the Macro COSY Notation. 1987.

• Li, W.; Lauer, P.E.:
  Using the Structural Operational Approach to Express True Concurrency. 1985.

• Janicki, R.; Lauer, P.E.; Koutny, M.; Devillers, R.:
  Concurrent and Maximally Concurrent Evolution of Non-sequential Systems. 1985.

• Janicki, R.; Lauer, P.E.; Devillers, R.:
  Maximally Concurrent Evolution of Non-sequential Systems. 1983.

• Lauer, P.E.; Just, J.R.; Janicki, R.:
  On the Description of Simple Microprocessor Configurations by Means of Petri Nets. 1983.

• Lauer, P.E.; Just, J.R.; Janicki, R.:
  On the Description of Simple Hardware Configurations by Means of Petri Nets. 1983.

• Lauer, P.E.; Shields, M.W.; Cotronis, J.Y.:
  Formal Behavioural Specification of Concurrent Systems without Globality Assumptions. 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.

• 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.; Torrigiani, P.R.:
  Towards a System Specification Language Based on Paths and Processes. 1978.

• Cotronis, J.Y.; Lauer, P.E.:
  Verification of Concurrent Systems of Processes. 1977.

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

• Torrigiani, P.R.; Lauer, P.E.:
  An Object Oriented Notation for Path Expressions. 1977.

• Lauer, P.E.; Campbell, R.H.:
  Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes. 1975.

• Lauer, P.E.:
  On the Logical Description of Simple Conventional Hardware Configurations. 1975.

• Campbell, R.H.; Lauer, P.E.:
  A Spectrum of Solutions to the Cigarette Smokers Problem. 1974.

• Lauer, P.E.; Campbell, R.H.:
  A Description of Path Expressions by Petri Nets. 1974.

• Lauer, P.E.:
  Path Expression and Petri Nets, or Petri Nets with Fewer Tears. 1974.

Back to the Petri Nets Bibliography