Conferences in DBLP
Z. C. Chen , C. A. R. Hoare Partial Correctness of Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Farouk Kamoun , Leonard Kleinrock , Richard R. Muntz Queueing Analysis of the Ordering Issue in a Distributed Database Concurrency Control Mechanism. [Citation Graph (0, 0)][DBLP ] Conf ] D. Herman Controle Repati Des Synchronisations Entre Processus. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce G. Lindsay Object Naming and Catalog Management for a Distributed Database Management System. [Citation Graph (0, 0)][DBLP ] Conf ] A. Fusi , G. Sommi Distributed Virtual Systems. [Citation Graph (0, 0)][DBLP ] Conf ] R. Marcogliese , R. Novarese Module and Data Allocation Methods in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] H. Zimmermann , Jean-Serge Banino , A. Caristan , Marc Guillemont , Gérard Morisset Basic Concepts for the Support of Distributed Systems: The Chorus Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Richard B. Kieburtz A Distributed Operating System for the Stony Brook Multicomputer. [Citation Graph (0, 0)][DBLP ] Conf ] M. Ronan Sleep , F. Warren Burton Towards a Zero Assignment Parallel Processor. [Citation Graph (0, 0)][DBLP ] Conf ] J.-P. Andre , J.-C. Petit GALAXIE: A Reconfigurable Network of Processors with Distributed Control. [Citation Graph (0, 0)][DBLP ] Conf ] Richard L. Grimsdale , Fred Halsall , F. Martin-Polo , Gholamali C. Shoja POLYPROC II-The University of Sussex Multiple Microprocessor System. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Hennessy , W. Li , Gordon D. Plotkin A First Attempt at Translating CSP into CCS. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Broy Are Fairness Assumptions Fair? [Citation Graph (0, 0)][DBLP ] Conf ] Liuba Shrira , Nissim Francez An Experimental Implementation of CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Peter E. Lauer , M. W. Shields Interpreted COSY Programs: Programming and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Queille The CESAR System: An Aided Design and Certification System. [Citation Graph (0, 0)][DBLP ] Conf ] C.-M. Li , M. T. Liu DISLANG: A Distributed Programming Language/System. [Citation Graph (0, 0)][DBLP ] Conf ] D. Owen , A. Ramsay An Interactive Environment for Distributed Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Michel E. Adiba , Juan M. Andrade Update Consistency and Parallelism in Distributed Databases. [Citation Graph (0, 0)][DBLP ] Conf ] N. G. Toan Distributed Query Management for a Local Network Database System. [Citation Graph (0, 0)][DBLP ] Conf ] Keki B. Irani , Nicholas G. Khabbaz A Combined Communication Network design and File Allocation for Distributed Databases. [Citation Graph (0, 0)][DBLP ] Conf ] P. Bouchet , A. Chesnais , Jean-Michel Feuvre , Geneviève Jomier , Alain Kurinckx PEPIN: An Experimental Multi-Microcomputer Data Base Management System. [Citation Graph (0, 0)][DBLP ] Conf ] K. Voss Stepwise Specification of a Distributed Database System. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen William Edge , A. J. Mayne A Stochastic Model of an End-to-End Packet-Switched Connection with Optimistic Storage Allocation at the Receiver. [Citation Graph (0, 0)][DBLP ] Conf ] G. Pulkkis , P. Poyhonen Performance Modeling of a Class of Asynchronous TMR Processor Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Otto Spaniol Analysis and Performance Evaluation of HYPERchannel Access Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] D. R. Powell Performance Evaluation and Comparison of Dependable Channel Access Technologies for Locally-Distributed computing systems. [Citation Graph (0, 0)][DBLP ] Conf ] J. A. McDermid Checkpointing and Error Recovery in distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] A. M. Feridun , Kang G. Shin A Fault-Tolerant Multiprocessor System with Rollback Recovery Capabilities. [Citation Graph (0, 0)][DBLP ] Conf ] K. Lunn , Keith H. Bennett A Highly Reliable Distributed Filestore Directory System. [Citation Graph (0, 0)][DBLP ] Conf ] George I. Davida , Richard A. DeMillo , Richard J. Lipton Multilevel Secure Distributed System. [Citation Graph (0, 0)][DBLP ] Conf ] R. M. Bryant , Raphael A. Finkel A Stable Distributed Scheduling Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Fischer , Leonidas J. Guibas , Nancy D. Griffeth , Nancy A. Lynch Optimal Placement of Identical Resources in a Distributed Network. [Citation Graph (0, 0)][DBLP ] Conf ] André M. Van Tilborg , Larry D. Wittie Wave Scheduling: Distributed Allocation of Task Forces in Network Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey M. Jaffe , Franklin H. Moss A Responsive Distributed Routing Algorithm for Computer Networks. [Citation Graph (0, 0)][DBLP ] Conf ] J. Knight , M. Itzkowitz THC-A Dimple High-Performance Local Network. [Citation Graph (0, 0)][DBLP ] Conf ] A. K. Agrawal , V. V. Vadakan Jet Propulsion Local Area Network (JPLAN). [Citation Graph (0, 0)][DBLP ] Conf ] Guy Bernard A Non-Persistent CSMA-Abort Access Protocol for a Local Computer Network. [Citation Graph (0, 0)][DBLP ] Conf ] Howard Jay Siegel , Robert J. McMillen The Cube Network as a Distributed Processing Test Bed Switch. [Citation Graph (0, 0)][DBLP ] Conf ] M. Maisonneuve , J.-P. Lévy , J.-L. Konrat Architecture du Logiciel d'un Autocommutateur construit sur un Reseau. [Citation Graph (0, 0)][DBLP ] Conf ] E. Benhamou Integrated Software Design for Z-Net, A Local Microcomputer Network. [Citation Graph (0, 0)][DBLP ] Conf ] Jeff Kramer , Jeff Magee , Morris Sloman Intertask Communication Primitives for Distributed Computer Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] François Baccelli , Thierry Fleury Analyse Syntaxique en Environnement Parallele. [Citation Graph (0, 0)][DBLP ] Conf ] Barry K. Gilbert , Rodney D. Beistad , Loren M. Krueger A Hierarchical Network of Processors for computed Tomography Computation on Large Data Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Paulo Roberto Freire Cunha , T. S. E. Maibaum A Synchronization Calculus for Message Oriented Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Richard L. Schwartz , P. M. Melliar-Smith Temporal Logic Specification of Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ryszard Janicki On the Design of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] J. C. Boarder Graphical Programming for Parallel Processing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] D. J. Baker , Anthony Ephremides %T A Distributed Algorithm for Organizing Mobile Radio Telecommunication Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel R. Seligman On the Performance Evaluation of DECnet. [Citation Graph (0, 0)][DBLP ] Conf ] P. Birzele , H. Thinschmidt A Local Distributed Microcomputer Network Based on an Optical Bus System with Decentralized Communication Control. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Herbert The User Interface to the Cambridge Model Distributed System. [Citation Graph (0, 0)][DBLP ] Conf ] Jerome H. Saltzer , David P. Reed , David D. Clark End-to-End Arguments in System Design. [Citation Graph (0, 0)][DBLP ] Conf ] Rocco De Nicola , A. Matelli , Ugo Montanari Communication Through Message Passing or Shared Memory: A Formal Comparison. [Citation Graph (0, 0)][DBLP ] Conf ] 