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