The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Peter E. Lauer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. C. A. R. Hoare, Peter E. Lauer
    Consistent and Complementary Formal Theories of the Semantics of Programming Languages [Citation Graph (3, 0)][DBLP]
    Acta Inf., 1974, v:3, n:, pp:135-153 [Journal]
  2. Peter E. Lauer, Roy H. Campbell
    Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes [Citation Graph (2, 0)][DBLP]
    Acta Inf., 1975, v:5, n:, pp:297-332 [Journal]
  3. Peter E. Lauer, M. W. Shields, Eike Best
    Design & Analysis of Highly Parallel & Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Abstract Software Specifications, 1979, pp:451-503 [Conf]
  4. John Yiannis Cotronis, Peter E. Lauer
    Two Way Channel with Disconnect. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:184-198 [Conf]
  5. Peter E. Lauer
    A Simple Railway System. [Citation Graph (0, 0)][DBLP]
    The Analysis of Concurrent Systems, 1983, pp:271-292 [Conf]
  6. Ryszard Janicki, Peter E. Lauer, Raymond R. Devillers
    Maximally Concurrent Evolution of Non-sequential Systems. [Citation Graph (0, 0)][DBLP]
    Seminar on Concurrency, 1984, pp:268-280 [Conf]
  7. M. W. Shields, Peter E. Lauer
    A Formal Semantics for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1979, pp:571-584 [Conf]
  8. Peter E. Lauer, M. W. Shields
    Interpreted COSY Programs: Programming and Verification. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1981, pp:137-147 [Conf]
  9. Peter E. Lauer, M. W. Shields, John Yiannis Cotronis
    Formal Behavioural Specification of Concurrent Systems Without Globality Assumptions. [Citation Graph (0, 0)][DBLP]
    ICFPC, 1981, pp:115-151 [Conf]
  10. Ryszard Janicki, Peter E. Lauer
    On the Semantics Of Priority Systems. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1988, pp:150-156 [Conf]
  11. John Yiannis Cotronis, Peter E. Lauer
    Verification of Concurrent Systems of Processes. [Citation Graph (0, 0)][DBLP]
    International Computing Symposium, 1977, pp:197-207 [Conf]
  12. Roy H. Campbell, Peter E. Lauer
    RECIPE: Requirements for an evolutionary computer-based information processing environment. [Citation Graph (0, 0)][DBLP]
    ISPW, 1984, pp:67-74 [Conf]
  13. Peter E. Lauer
    On the Use of Theory Based Systems to Traverse Educational Gaps in Computer Related Activities. [Citation Graph (0, 0)][DBLP]
    Functional Programming, Concurrency, Simulation and Automated Reasoning, 1993, pp:1-31 [Conf]
  14. M. W. Shields, Peter E. Lauer
    Verifying Concurrent System Specification in COSY. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:576-586 [Conf]
  15. Peter E. Lauer, M. W. Shields
    On the abstract specification and formal analysis of synchronization properties of concurrent systems. [Citation Graph (0, 0)][DBLP]
    Mathematical Studies of Information Processing, 1978, pp:1-32 [Conf]
  16. Peter E. Lauer, Roy H. Campbell
    A Description of Path Expressions by Petri Nets. [Citation Graph (0, 0)][DBLP]
    POPL, 1975, pp:95-105 [Conf]
  17. Peter E. Lauer, Piero R. Torrigiani, Raymond R. Devillers
    A Cosy Banker. [Citation Graph (0, 0)][DBLP]
    Symposium on Programming, 1980, pp:223-239 [Conf]
  18. Peter E. Lauer, Roy H. Campbell
    Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1977, v:7, n:, pp:325- [Journal]
  19. Peter E. Lauer, Piero R. Torrigiani, M. W. Shields
    COSY - A System Specification Language Based on Paths and Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1979, v:12, n:, pp:109-158 [Journal]
  20. Raymond R. Devillers, Peter E. Lauer
    A General Mechanism for Avoiding Starvation with Distributed Control. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1978, v:7, n:3, pp:156-158 [Journal]
  21. Ryszard Janicki, Peter E. Lauer, Maciej Koutny, Raymond R. Devillers
    Concurrent and Maximally Concurrent Evolution of Nonsequential Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:43, n:, pp:213-238 [Journal]

Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002