The SCEAS System
Navigation Menu

Conferences in DBLP

Advanced Courses (ac)
1984 (conf/ac/1984ds)

  1. Günter Hommel
    Introduction. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Distributed Systems, 1984, pp:1-6 [Conf]
  2. Mack W. Alford, Leslie Lamport, Geoff P. Mullery
    Basic Concepts. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Distributed Systems, 1984, pp:7-43 [Conf]
  3. Geoff P. Mullery
    Acquisition-Environment. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Distributed Systems, 1984, pp:45-130 [Conf]
  4. Mack W. Alford
    A Graph Model Based Approach to Specifications. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Distributed Systems, 1984, pp:131-201 [Conf]
  5. Leslie Lamport, Fred B. Schneider
    Formal Foundation for Specification and Verification. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Distributed Systems, 1984, pp:203-285 [Conf]
  6. Günter Hommel
    Language Constructs for Distributed Programs. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Distributed Systems, 1984, pp:287-341 [Conf]
  7. Barbara Liskov
    The Argus Language and System. [Citation Graph (5, 0)][DBLP]
    Advanced Course: Distributed Systems, 1984, pp:343-430 [Conf]
  8. Fred B. Schneider, Leslie Lamport
    Paradigms for Distributed Programs. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Distributed Systems, 1984, pp:431-480 [Conf]
  9. Jean-Pierre Ansart
    Issues and Tools for Protocol Specification. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Distributed Systems, 1984, pp:481-538 [Conf]
  10. Geoff P. Mullery
    Conclusion. [Citation Graph (0, 0)][DBLP]
    Advanced Course: Distributed Systems, 1984, pp:539-547 [Conf]
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002