 | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page