1993 |
23 | | Peter E. Lauer:
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Springer 1993 |
22 | | 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: 1-31 |
1992 |
21 | | Waldemar W. Koczkodaj,
Peter E. Lauer,
Anestis A. Toptsis:
Computing and Information - ICCI'92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings
IEEE Computer Society 1992 |
1988 |
20 | | Ryszard Janicki,
Peter E. Lauer:
On the Semantics Of Priority Systems.
ICPP (2) 1988: 150-156 |
1986 |
19 | | Ryszard Janicki,
Peter E. Lauer,
Maciej Koutny,
Raymond R. Devillers:
Concurrent and Maximally Concurrent Evolution of Nonsequential Systems.
Theor. Comput. Sci. 43: 213-238 (1986) |
1984 |
18 | | Roy H. Campbell,
Peter E. Lauer:
RECIPE: Requirements for an evolutionary computer-based information processing environment.
ISPW 1984: 67-74 |
17 | | Ryszard Janicki,
Peter E. Lauer,
Raymond R. Devillers:
Maximally Concurrent Evolution of Non-sequential Systems.
Seminar on Concurrency 1984: 268-280 |
1983 |
16 | | John Yiannis Cotronis,
Peter E. Lauer:
Two Way Channel with Disconnect.
The Analysis of Concurrent Systems 1983: 184-198 |
15 | | Peter E. Lauer:
A Simple Railway System.
The Analysis of Concurrent Systems 1983: 271-292 |
1981 |
14 | | Peter E. Lauer,
M. W. Shields:
Interpreted COSY Programs: Programming and Verification.
ICDCS 1981: 137-147 |
13 | | Peter E. Lauer,
M. W. Shields,
John Yiannis Cotronis:
Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions.
ICFPC 1981: 115-151 |
1980 |
12 | | M. W. Shields,
Peter E. Lauer:
Verifying Concurrent System Specification in COSY.
MFCS 1980: 576-586 |
11 | | Peter E. Lauer,
Piero R. Torrigiani,
Raymond R. Devillers:
A Cosy Banker.
Symposium on Programming 1980: 223-239 |
1979 |
10 | | Peter E. Lauer,
M. W. Shields,
Eike Best:
Design & Analysis of Highly Parallel & Distributed Systems.
Abstract Software Specifications 1979: 451-503 |
9 | | M. W. Shields,
Peter E. Lauer:
A Formal Semantics for Concurrent Systems.
ICALP 1979: 571-584 |
8 | | Peter E. Lauer,
Piero R. Torrigiani,
M. W. Shields:
COSY - A System Specification Language Based on Paths and Processes.
Acta Inf. 12: 109-158 (1979) |
1978 |
7 | | 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: 1-32 |
6 | | Raymond R. Devillers,
Peter E. Lauer:
A General Mechanism for Avoiding Starvation with Distributed Control.
Inf. Process. Lett. 7(3): 156-158 (1978) |
1977 |
5 | | John Yiannis Cotronis,
Peter E. Lauer:
Verification of Concurrent Systems of Processes.
International Computing Symposium 1977: 197-207 |
4 | | Peter E. Lauer,
Roy H. Campbell:
Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes
Acta Inf. 7: 325 (1977) |
1975 |
3 | | Peter E. Lauer,
Roy H. Campbell:
A Description of Path Expressions by Petri Nets.
POPL 1975: 95-105 |
2 | | Peter E. Lauer,
Roy H. Campbell:
Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes
Acta Inf. 5: 297-332 (1975) |
1974 |
1 | | C. A. R. Hoare,
Peter E. Lauer:
Consistent and Complementary Formal Theories of the Semantics of Programming Languages
Acta Inf. 3: 135-153 (1974) |