2. ICDCS 1981:
Paris,
France
Proceedings of the 2nd International Conference on Distributed Computing Systems, Paris, France, 1981.
IEEE Computer Society 1981 
- Z. C. Chen, C. A. R. Hoare:
Partial Correctness of Communicating Sequential Processes.
1-12
- Farouk Kamoun, Leonard Kleinrock, Richard R. Muntz:
Queueing Analysis of the Ordering Issue in a Distributed Database Concurrency Control Mechanism.
13-23
- D. Herman:
Controle Repati Des Synchronisations Entre Processus.
24-30
- Bruce G. Lindsay:
Object Naming and Catalog Management for a Distributed Database Management System.
31-39
- A. Fusi, G. Sommi:
Distributed Virtual Systems.
41-49
- R. Marcogliese, R. Novarese:
Module and Data Allocation Methods in Distributed Systems.
50-59
- H. Zimmermann, Jean-Serge Banino, A. Caristan, Marc Guillemont, Gérard Morisset:
Basic Concepts for the Support of Distributed Systems: The Chorus Approach.
60-66
- Richard B. Kieburtz:
A Distributed Operating System for the Stony Brook Multicomputer.
67-78
- M. Ronan Sleep, F. Warren Burton:
Towards a Zero Assignment Parallel Processor.
80-85
- J.-P. Andre, J.-C. Petit:
GALAXIE: A Reconfigurable Network of Processors with Distributed Control.
86-94
- Richard L. Grimsdale, Fred Halsall, F. Martin-Polo, Gholamali C. Shoja:
POLYPROC II-The University of Sussex Multiple Microprocessor System.
95-103
- Matthew Hennessy, W. Li, Gordon D. Plotkin:
A First Attempt at Translating CSP into CCS.
105-115
- Manfred Broy:
Are Fairness Assumptions Fair?
116-125
- Liuba Shrira, Nissim Francez:
An Experimental Implementation of CSP.
126-136
- Peter E. Lauer, M. W. Shields:
Interpreted COSY Programs: Programming and Verification.
137-147
- Jean-Pierre Queille:
The CESAR System: An Aided Design and Certification System.
149-161
- C.-M. Li, M. T. Liu:
DISLANG: A Distributed Programming Language/System.
162-172
- D. Owen, A. Ramsay:
An Interactive Environment for Distributed Computing.
173-178
- Michel E. Adiba, Juan M. Andrade:
Update Consistency and Parallelism in Distributed Databases.
180-187
- N. G. Toan:
Distributed Query Management for a Local Network Database System.
188-196
- Keki B. Irani, Nicholas G. Khabbaz:
A Combined Communication Network design and File Allocation for Distributed Databases.
197-210
- P. Bouchet, A. Chesnais, Jean-Michel Feuvre, Geneviève Jomier, Alain Kurinckx:
PEPIN: An Experimental Multi-Microcomputer Data Base Management System.
211-217
- K. Voss:
Stepwise Specification of a Distributed Database System.
218-225
- Stephen William Edge, A. J. Mayne:
A Stochastic Model of an End-to-End Packet-Switched Connection with Optimistic Storage Allocation at the Receiver.
227-235
- G. Pulkkis, P. Poyhonen:
Performance Modeling of a Class of Asynchronous TMR Processor Systems.
236-246
- Otto Spaniol:
Analysis and Performance Evaluation of HYPERchannel Access Protocols.
247-255
- D. R. Powell:
Performance Evaluation and Comparison of Dependable Channel Access Technologies for Locally-Distributed computing systems.
256-269
- J. A. McDermid:
Checkpointing and Error Recovery in distributed Systems.
271-282
- A. M. Feridun, Kang G. Shin:
A Fault-Tolerant Multiprocessor System with Rollback Recovery Capabilities.
283-298
- K. Lunn, Keith H. Bennett:
A Highly Reliable Distributed Filestore Directory System.
299-307
- George I. Davida, Richard A. DeMillo, Richard J. Lipton:
Multilevel Secure Distributed System.
308-312
- R. M. Bryant, Raphael A. Finkel:
A Stable Distributed Scheduling Algorithm.
314-323
- Michael J. Fischer, Leonidas J. Guibas, Nancy D. Griffeth, Nancy A. Lynch:
Optimal Placement of Identical Resources in a Distributed Network.
324-336
- André M. Van Tilborg, Larry D. Wittie:
Wave Scheduling: Distributed Allocation of Task Forces in Network Computers.
337-347
- Jeffrey M. Jaffe, Franklin H. Moss:
A Responsive Distributed Routing Algorithm for Computer Networks.
348-352
- J. Knight, M. Itzkowitz:
THC-A Dimple High-Performance Local Network.
354-359
- A. K. Agrawal, V. V. Vadakan:
Jet Propulsion Local Area Network (JPLAN).
360-368
- Guy Bernard:
A Non-Persistent CSMA-Abort Access Protocol for a Local Computer Network.
369-376
- Howard Jay Siegel, Robert J. McMillen:
The Cube Network as a Distributed Processing Test Bed Switch.
377-386
- M. Maisonneuve, J.-P. Lévy, J.-L. Konrat:
Architecture du Logiciel d'un Autocommutateur construit sur un Reseau.
388-396
- E. Benhamou:
Integrated Software Design for Z-Net, A Local Microcomputer Network.
397-403
- Jeff Kramer, Jeff Magee, Morris Sloman:
Intertask Communication Primitives for Distributed Computer Control Systems.
404-411
- François Baccelli, Thierry Fleury:
Analyse Syntaxique en Environnement Parallele.
412-422
- Barry K. Gilbert, Rodney D. Beistad, Loren M. Krueger:
A Hierarchical Network of Processors for computed Tomography Computation on Large Data Bases.
423-431
- Paulo Roberto Freire Cunha, T. S. E. Maibaum:
A Synchronization Calculus for Message Oriented Programming.
433-445
- Richard L. Schwartz, P. M. Melliar-Smith:
Temporal Logic Specification of Distributed Systems.
446-454
- Ryszard Janicki:
On the Design of Concurrent Systems.
455-466
- J. C. Boarder:
Graphical Programming for Parallel Processing Systems.
467-474
- D. J. Baker, Anthony Ephremides:
%T A Distributed Algorithm for Organizing Mobile Radio Telecommunication Networks.
476-483
- Daniel R. Seligman:
On the Performance Evaluation of DECnet.
484-496
- P. Birzele, H. Thinschmidt:
A Local Distributed Microcomputer Network Based on an Optical Bus System with Decentralized Communication Control.
497-501
- Andrew Herbert:
The User Interface to the Cambridge Model Distributed System.
503-508
- Jerome H. Saltzer, David P. Reed, David D. Clark:
End-to-End Arguments in System Design.
509-512
- Rocco De Nicola, A. Matelli, Ugo Montanari:
Communication Through Message Passing or Shared Memory: A Formal Comparison.
513-522
Copyright © Mon Mar 15 03:39:06 2010
by Michael Ley (ley@uni-trier.de)
