Peter E. Lauer

According to our database1, Peter E. Lauer
  • authored at least 24 papers between 1971 and 1993.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

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

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

1984
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

1983
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

1981
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

1980
Towards an axiomatization of value theory.
Notre Dame Journal of Formal Logic, 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

1979
COSY - A System Specification Language Based on Paths and Processes.
Acta Inf., 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

1978
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

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

Verification of Concurrent Systems of Processes.
Proceedings of the International Computing Symposium 1977, 1977

1975
Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes
Acta Inf., 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

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

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


  Loading...