Peter E. Lauer

According to our database, Peter E. Lauer authored at least 27 papers between 1971 and 1993.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

1993

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

Peter E. Lauer

Proceedings of the Functional Programming, 1993

1992

Specification and Analysis of Concurrent Systems - The COSY Approach

Ryszard Janicki, Peter E. Lauer

EATCS Monographs on Theoretical Computer Science, Springer, ISBN: 978-3-642-77337-2, 1992

1988

On the Semantics Of Priority Systems.

Ryszard Janicki, Peter E. Lauer

Proceedings of the International Conference on Parallel Processing, 1988

1986

Concurrent and Maximally Concurrent Evolution of Nonsequential Systems.

Ryszard Janicki, Peter E. Lauer, Maciej Koutny, Raymond R. Devillers

Theor. Comput. Sci., 1986

1984

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

Roy H. Campbell, Peter E. Lauer

Proceedings of a Software Process Workshop, February 1984, Egham, UK, 1984

Maximally Concurrent Evolution of Non-sequential Systems.

Ryszard Janicki, Peter E. Lauer, Raymond R. Devillers

Proceedings of the Seminar on Concurrency, 1984

1983

A Simple Railway System.

Peter E. Lauer

Proceedings of the Analysis of Concurrent Systems, 1983

Two Way Channel with Disconnect.

John Yiannis Cotronis, Peter E. Lauer

Proceedings of the Analysis of Concurrent Systems, 1983

1981

Synchronization of concurrent processes without globality assumptions.

Peter E. Lauer

ACM SIGPLAN Notices, 1981

Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions.

Peter E. Lauer, M. W. Shields, John Yiannis Cotronis

Proceedings of the Formalization of Programming Concepts, 1981

Interpreted COSY Programs: Programming and Verification.

Peter E. Lauer, M. W. Shields

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

1980

Towards an axiomatization of value theory.

Peter E. Lauer

Notre Dame J. Formal Log., 1980

Specification of highly parallel and distributed resource management.

Peter E. Lauer, Piero R. Torrigiani, Raymond R. Devillers

Proceedings of the International Symposium on Programming, 1980

Verifying Concurrent System Specification in COSY.

M. W. Shields, Peter E. Lauer

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

COSY - A System Specification Language Based on Paths and Processes.

Peter E. Lauer, Piero R. Torrigiani, M. W. Shields

Acta Informatica, 1979

A Formal Semantics for Concurrent Systems.

M. W. Shields, Peter E. Lauer

Proceedings of the Automata, 1979

Design & Analysis of Highly Parallel & Distributed Systems.

Peter E. Lauer, M. W. Shields, Eike Best

Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

1978

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

Peter E. Lauer, M. W. Shields

ACM SIGPLAN Notices, 1978

A General Mechanism for Avoiding Starvation with Distributed Control.

Raymond R. Devillers, Peter E. Lauer

Inf. Process. Lett., 1978

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

Peter E. Lauer, M. W. Shields

Proceedings of the Mathematical Studies of Information Processing, 1978

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 Problem of Achieving Adequacy of Concurrent Programs.

Peter E. Lauer, Eike Best, Michael W. Shields

Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977

Verification of Concurrent Systems of Processes.

John Yiannis Cotronis, Peter E. Lauer

Proceedings of the International Computing Symposium 1977, 1977

1975

Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes

Peter E. Lauer, Roy H. Campbell

Acta Informatica, 1975

A Description of Path Expressions by Petri Nets.

Peter E. Lauer, Roy H. Campbell

Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975

1974

Consistent and Complementary Formal Theories of the Semantics of Programming Languages.

C. A. R. Hoare, Peter E. Lauer

Acta Informatica, 1974

1971

Consistent formal theories of the semantics of programming languages.

Peter E. Lauer

PhD thesis, 1971