Peter E. Lauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1975–1988
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1988 | ICPP | On the Semantics Of Priority Systems. | Ryszard Janicki, Peter E. Lauer |
| 1984 | CONCUR | Maximally Concurrent Evolution of Non-sequential Systems. | Ryszard Janicki, Peter E. Lauer, Raymond Devillers |
| 1981 | ICDCS | Interpreted COSY Programs: Programming and Verification. | Peter E. Lauer, M. W. Shields |
| 1980 | MFCS | Verifying Concurrent System Specification in COSY. | M. W. Shields, Peter E. Lauer |
| 1979 | ICALP | A Formal Semantics for Concurrent Systems. | M. W. Shields, Peter E. Lauer |
| 1975 | POPL | A Description of Path Expressions by Petri Nets. | Peter E. Lauer, Roy H. Campbell |