Peter E. Lauer

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

Peter E. Lauer (Ed.): Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Lecture Notes in Computer Science 693, Springer 1993, isbn 3-540-56883-2

Waldemar W. Koczkodaj, Peter E. Lauer, Anestis A. Toptsis (Eds.): Computing and Information - ICCI'92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings. IEEE Computer Society 1992, isbn 0-8186-2812-X

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

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

Ryszard Janicki, Peter E. Lauer, Raymond R. Devillers: Maximally Concurrent Evolution of Non-sequential Systems. Seminar on Concurrency 1984: 268-280

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

John Yiannis Cotronis, Peter E. Lauer: Two Way Channel with Disconnect. The Analysis of Concurrent Systems 1983: 184-198

Peter E. Lauer: A Simple Railway System. The Analysis of Concurrent Systems 1983: 271-292

Peter E. Lauer, M. W. Shields: Interpreted COSY Programs: Programming and Verification. ICDCS 1981: 137-147

Peter E. Lauer, M. W. Shields, John Yiannis Cotronis: Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions. ICFPC 1981: 115-151

M. W. Shields, Peter E. Lauer: Verifying Concurrent System Specification in COSY. MFCS 1980: 576-586

Peter E. Lauer, Piero R. Torrigiani, Raymond R. Devillers: A Cosy Banker. Symposium on Programming 1980: 223-239

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)

Peter E. Lauer, M. W. Shields, Eike Best: Design & Analysis of Highly Parallel & Distributed Systems. Abstract Software Specifications 1979: 451-503

M. W. Shields, Peter E. Lauer: A Formal Semantics for Concurrent Systems. ICALP 1979: 571-584

Raymond R. Devillers, Peter E. Lauer: A General Mechanism for Avoiding Starvation with Distributed Control. Inf. Process. Lett. 7(3): 156-158 (1978)

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

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

John Yiannis Cotronis, Peter E. Lauer: Verification of Concurrent Systems of Processes. International Computing Symposium 1977: 197-207

Peter E. Lauer, Roy H. Campbell: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes. Acta Inf. 5: 297-332 (1975)

Peter E. Lauer, Roy H. Campbell: A Description of Path Expressions by Petri Nets. POPL 1975: 95-105

C. A. R. Hoare, Peter E. Lauer: Consistent and Complementary Formal Theories of the Semantics of Programming Languages. Acta Inf. 3: 135-153 (1974)