P. Lauer

发表

Functional Programming, Concurrency, Simulation and Automated Reasoning

Peter E. Lauer, P. Lauer, 1993, Lecture Notes in Computer Science.

A search strategy for the elementary cycles of a directed graph

Jayme Luiz Szwarcfiter, Peter E. Lauer, J. Szwarcfiter, 1976 .

Proceedings : ICCI '92, Fourth International Conference on Computing and Information, May 28-30, 1992, Toronto, Canada

Waldemar W. Koczkodaj, Peter E. Lauer, Anestis A. Toptsis, 1992 .

On the Problem of Achieving Adequacy of Concurrent Programs

Peter E. Lauer, Eike Best, Michael W. Shields, 1977, Formal Description of Programming Concepts.

Computing and Information - ICCI'92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings

Waldemar W. Koczkodaj, Peter E. Lauer, Anestis A. Toptsis, 1992, ICCI.

On the abstract specification and formal analysis of synchronization properties of concurrent systems

Peter E. Lauer, M. W. Shields, P. Lauer, 1978, Mathematical Studies of Information Processing.

Consistent formal theories of the semantics of programming languages

Peter E. Lauer, P. Lauer, 1971 .

A General Mechanism for the Local Control of Starvation : Application to the Dining Philosophers and to the Reader-Writer Problem: (ASM 32)

Raymond R. Devillers, Peter E. Lauer, Raymond Devillers, 1977 .

Proceedings of the Fourth International Conference on Computing and Information: Computing and Information

Waldemar W. Koczkodaj, Peter E. Lauer, Anestis A. Toptsis, 1992 .

Some Solutions for the Reader-Writer Problem: (ASM 31)

Raymond R. Devillers, Peter E. Lauer, Raymond Devillers, 1977 .

Verification of Concurrent Systems of Processes

Peter E. Lauer, Yannis Cotronis, Y. Cotronis, 1977, International Computing Symposium.

Interpreted COSY Programs: Programming and Verification

Peter E. Lauer, M. W. Shields, P. Lauer, 1981, ICDCS.

A Cosy Banker

Raymond R. Devillers, Peter E. Lauer, Raymond Devillers, 1980 .

Towards an axiomatization of value theory

Peter E. Lauer, P. Lauer, 1980, Notre Dame J. Formal Log..

Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions

Peter E. Lauer, Yannis Cotronis, M. W. Shields, 1981, International Colloquium on Formalization of Programming Concepts.

A Simple Railway System

Peter E. Lauer, P. Lauer, 1983, The Analysis of Concurrent Systems.

Design & Analysis of Highly Parallel & Distributed Systems

Peter E. Lauer, Eike Best, M. W. Shields, 1979, Abstract Software Specifications.

RECIPE: Requirements for an evolutionary computer-based information processing environment

Roy H. Campbell, Peter E. Lauer, R. Campbell, 1984, ISPW.

Concurrent and Maximally Concurrent Evolution of Nonsequential Systems

Maciej Koutny, Ryszard Janicki, Raymond R. Devillers, 1986, Theor. Comput. Sci..

Addenda and corrigenda

Roy H. Campbell, Peter E. Lauer, R. Campbell, 1977, Acta Informatica.

Synchronization of concurrent processes without globality assumptions

P. E. Lauer, P. Lauer, 1981, SIGP.

COSY — a system specification language based on paths and processes

Peter E. Lauer, M. W. Shields, Piero R. Torrigiani, 1979, Acta Informatica.

An Introduction to the Macro Cosy Notation

R. Janicki, P. E. Lauer, R. Janicki, 1987 .

Consistent and complementary formal theories of the semantics of programming languages

C. A. R. Hoare, Peter E. Lauer, C. Hoare, 1974, Acta Informatica.

Specification and Analysis of Concurrent Systems

Ryszard Janicki, Peter E. Lauer, R. Janicki, 1992, EATCS Monographs in Theoretical Computer Science.

Verifying Concurrent System Specification in COSY

Peter E. Lauer, M. W. Shields, P. Lauer, 1980, MFCS.

Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts

M. W. Shields, P. E. Lauer, P. Lauer, 1978, SIGP.

On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities

Peter E. Lauer, P. Lauer, 1993, Functional Programming, Concurrency, Simulation and Automated Reasoning.

Maximally Concurrent Evolution of Non-sequential Systems

Ryszard Janicki, Raymond R. Devillers, Peter E. Lauer, 1984, Seminar on Concurrency.

Specification of highly parallel and distributed resource management

Raymond R. Devillers, Peter E. Lauer, Piero R. Torrigiani, 1980, Symposium on Programming.

A Formal Semantics for Concurrent Systems

Peter E. Lauer, M. W. Shields, P. Lauer, 1979, ICALP.