Table of Contents

• 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