Consistent formal theories of the semantics of programming languages. - Peter E. Lauer (1971)

Consistent and Complementary Formal Theories of the Semantics of Programming Languages. - C. A. R. Hoare; Peter E. Lauer (Acta Informatica, 1974)

A Description of Path Expressions by Petri Nets. - Peter E. Lauer; Roy H. Campbell (POPL, 1975)

Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes - Peter E. Lauer; Roy H. Campbell (Acta Informatica, 1975)

Verification of Concurrent Systems of Processes. - John Yiannis Cotronis; Peter E. Lauer (International Computing Symposium, 1977)

On the Problem of Achieving Adequacy of Concurrent Programs. - Peter E. Lauer; Eike Best; Michael W. Shields (Formal Description of Programming Concepts, 1977)

Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes - Peter E. Lauer; Roy H. Campbell (Acta Informatica, 1977)

On the abstract specification and formal analysis of synchronization properties of concurrent systems. - Peter E. Lauer; M. W. Shields (Mathematical Studies of Information Processing, 1978)

A General Mechanism for Avoiding Starvation with Distributed Control. - Raymond E. Devillers; Peter E. Lauer (Inf. Process. Lett., 1978)

Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts. - Peter E. Lauer; M. W. Shields (ACM SIGPLAN Notices, 1978)

Design & Analysis of Highly Parallel & Distributed Systems. - Peter E. Lauer; M. W. Shields; Eike Best (Abstract Software Specifications, 1979)

A Formal Semantics for Concurrent Systems. - M. W. Shields; Peter E. Lauer (ICALP, 1979)

COSY - A System Specification Language Based on Paths and Processes. - Peter E. Lauer; Piero R. Torrigiani; M. W. Shields (Acta Informatica, 1979)

Verifying Concurrent System Specification in COSY. - M. W. Shields; Peter E. Lauer (MFCS, 1980)

Specification of highly parallel and distributed resource management. - Peter E. Lauer; Piero R. Torrigiani; Raymond Devillers (Symposium on Programming, 1980)

Towards an axiomatization of value theory. - Peter E. Lauer (Notre Dame J. Formal Log., 1980)

Interpreted COSY Programs: Programming and Verification. - Peter E. Lauer; M. W. Shields (ICDCS, 1981)

Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions. - Peter E. Lauer; M. W. Shields; John Yiannis Cotronis (ICFPC, 1981)

Synchronization of concurrent processes without globality assumptions. - Peter E. Lauer (ACM SIGPLAN Notices, 1981)

Two Way Channel with Disconnect. - John Yiannis Cotronis; Peter E. Lauer (The Analysis of Concurrent Systems, 1983)

A Simple Railway System. - Peter E. Lauer (The Analysis of Concurrent Systems, 1983)

Maximally Concurrent Evolution of Non-sequential Systems. - Ryszard Janicki; Peter E. Lauer; Raymond Devillers (Seminar on Concurrency, 1984)

RECIPE: Requirements for an evolutionary computer-based information processing environment. - Roy H. Campbell; Peter E. Lauer (ISPW, 1984)

Concurrent and Maximally Concurrent Evolution of Nonsequential Systems. - Ryszard Janicki; Peter E. Lauer; Maciej Koutny; Raymond Devillers (Theor. Comput. Sci., 1986)

On the Semantics Of Priority Systems. - Ryszard Janicki; Peter E. Lauer (ICPP (2), 1988)

Specification and Analysis of Concurrent Systems - The COSY Approach - Ryszard Janicki; Peter E. Lauer (Springer, 1992)

On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities. - Peter E. Lauer (Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993)