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