Peter E. Lauer

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

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities.
Proceedings of the Functional Programming, 1993

Specification and Analysis of Concurrent Systems - The COSY Approach
EATCS Monographs on Theoretical Computer Science, Springer, ISBN: 978-3-642-77337-2, 1992

On the Semantics Of Priority Systems.
Proceedings of the International Conference on Parallel Processing, 1988

Concurrent and Maximally Concurrent Evolution of Nonsequential Systems.
Theor. Comput. Sci., 1986

RECIPE: Requirements for an evolutionary computer-based information processing environment.
Proceedings of a Software Process Workshop, February 1984, Egham, UK, 1984

Maximally Concurrent Evolution of Non-sequential Systems.
Proceedings of the Seminar on Concurrency, 1984

A Simple Railway System.
Proceedings of the Analysis of Concurrent Systems, 1983

Two Way Channel with Disconnect.
Proceedings of the Analysis of Concurrent Systems, 1983

Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions.
Proceedings of the Formalization of Programming Concepts, 1981

Interpreted COSY Programs: Programming and Verification.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

Towards an axiomatization of value theory.
Notre Dame J. Formal Log., 1980

Specification of highly parallel and distributed resource management.
Proceedings of the International Symposium on Programming, 1980

Verifying Concurrent System Specification in COSY.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

COSY - A System Specification Language Based on Paths and Processes.
Acta Informatica, 1979

A Formal Semantics for Concurrent Systems.
Proceedings of the Automata, 1979

Design & Analysis of Highly Parallel & Distributed Systems.
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School, January 22, 1979

A General Mechanism for Avoiding Starvation with Distributed Control.
Inf. Process. Lett., 1978

On the abstract specification and formal analysis of synchronization properties of concurrent systems.
Proceedings of the Mathematical Studies of Information Processing, 1978

Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes
Acta Informatica, 1977

On the Problem of Achieving Adequacy of Concurrent Programs.
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.
Proceedings of the International Computing Symposium 1977, 1977

Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes
Acta Informatica, 1975

A Description of Path Expressions by Petri Nets.
Proceedings of the Conference Record of the Second ACM Symposium on Principles of Programming Languages, 1975

Consistent and Complementary Formal Theories of the Semantics of Programming Languages.
Acta Informatica, 1974

Consistent formal theories of the semantics of programming languages.
PhD thesis, 1971