Peter E. Lauer

Publication Activity (10 Years)

Years Active: 1974-1993
Publications (10 Years): 0

Queen's University Belfast, UK (PHD)

Education History

Queen's University Belfast, UK

PHD

Publications

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)
Ryszard Janicki, Peter E. Lauer
On the Semantics Of Priority Systems. ICPP (2) (1988)
Ryszard Janicki, Peter E. Lauer, Maciej Koutny, Raymond R. Devillers
Concurrent and Maximally Concurrent Evolution of Nonsequential Systems. Theor. Comput. Sci. 43 (1986)
Roy H. Campbell, Peter E. Lauer
RECIPE: Requirements for an evolutionary computer-based information processing environment. ISPW (1984)
Ryszard Janicki, Peter E. Lauer, Raymond R. Devillers
Maximally Concurrent Evolution of Non-sequential Systems. Seminar on Concurrency (1984)
John Yiannis Cotronis, Peter E. Lauer
Two Way Channel with Disconnect. The Analysis of Concurrent Systems (1983)
Peter E. Lauer
A Simple Railway System. The Analysis of Concurrent Systems (1983)
Peter E. Lauer
Synchronization of concurrent processes without globality assumptions. ACM SIGPLAN Notices 16 (9) (1981)
Peter E. Lauer, M. W. Shields
Interpreted COSY Programs: Programming and Verification. ICDCS (1981)
Peter E. Lauer, M. W. Shields, John Yiannis Cotronis
Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions. ICFPC (1981)
M. W. Shields, Peter E. Lauer
Verifying Concurrent System Specification in COSY. MFCS (1980)
Peter E. Lauer, Piero R. Torrigiani, Raymond R. Devillers
Specification of highly parallel and distributed resource management. Symposium on Programming (1980)
Peter E. Lauer
Towards an axiomatization of value theory. Notre Dame J. Formal Log. 21 (1) (1980)
M. W. Shields, Peter E. Lauer
A Formal Semantics for Concurrent Systems. ICALP (1979)
Peter E. Lauer, Piero R. Torrigiani, M. W. Shields
COSY - A System Specification Language Based on Paths and Processes. Acta Informatica 12 (1979)
Peter E. Lauer, M. W. Shields, Eike Best
Design & Analysis of Highly Parallel & Distributed Systems. Abstract Software Specifications (1979)
Peter E. Lauer, M. W. Shields
Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts. ACM SIGPLAN Notices 13 (12) (1978)
Raymond R. Devillers, Peter E. Lauer
A General Mechanism for Avoiding Starvation with Distributed Control. Inf. Process. Lett. 7 (3) (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)
John Yiannis Cotronis, Peter E. Lauer
Verification of Concurrent Systems of Processes. International Computing Symposium (1977)
Peter E. Lauer, Roy H. Campbell
Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes Acta Informatica 7 (1977)
Peter E. Lauer, Eike Best, Michael W. Shields
On the Problem of Achieving Adequacy of Concurrent Programs. Formal Description of Programming Concepts (1977)
Peter E. Lauer, Roy H. Campbell
A Description of Path Expressions by Petri Nets. POPL (1975)
Peter E. Lauer, Roy H. Campbell
Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes Acta Informatica 5 (1975)
C. A. R. Hoare, Peter E. Lauer
Consistent and Complementary Formal Theories of the Semantics of Programming Languages. Acta Informatica 3 (1974)

Peter E. Lauer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Peter E. Lauer