Search dblp for Publications

export results for "toc:db/conf/icdcs/icdcs1981.bht:"

 download as .bib file

@inproceedings{DBLP:conf/icdcs/AdibaA81,
  author       = {Michel E. Adiba and
                  Juan M. Andrade},
  title        = {Update Consistency and Parallelism in Distributed Databases},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {180--187},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 10:45:08 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/AdibaA81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/AgrawalV81,
  author       = {A. K. Agrawal and
                  V. V. Vadakan},
  title        = {Jet Propulsion Local Area Network {(JPLAN)}},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {360--368},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/AgrawalV81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/AndreP81,
  author       = {Jean Pierre Andre and
                  Jean Claude Petit},
  title        = {{GALAXIE:} {A} Reconfigurable Network of Processors with Distributed
                  Control},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {86--94},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Fri, 27 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/AndreP81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/BaccelliF81,
  author       = {Fran{\c{c}}ois Baccelli and
                  Thierry Fleury},
  title        = {Analyse Syntaxique en Environnement Parallele},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {412--422},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/BaccelliF81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/BakerE81,
  author       = {Dennis J. Baker and
                  Anthony Ephremides},
  title        = {A Distributed Algorithm for Organizing Mobile Radio Telecommunication
                  Networks},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {476--483},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Fri, 11 Sep 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/BakerE81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Benhamou81,
  author       = {E. Benhamou},
  title        = {Integrated Software Design for Z-Net, {A} Local Microcomputer Network},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {397--403},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Benhamou81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Bernard81,
  author       = {Guy Bernard},
  title        = {A Non-Persistent CSMA-Abort Access Protocol for a Local Computer Network},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {369--376},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Bernard81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/BirzeleT81,
  author       = {P. Birzele and
                  H. Thinschmidt},
  title        = {A Local Distributed Microcomputer Network Based on an Optical Bus
                  System with Decentralized Communication Control},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {497--501},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/BirzeleT81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Boarder81,
  author       = {J. C. Boarder},
  title        = {Graphical Programming for Parallel Processing Systems},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {467--474},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Boarder81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/BouchetCFJK81,
  author       = {P. Bouchet and
                  A. Chesnais and
                  Jean{-}Michel Feuvre and
                  Genevi{\`{e}}ve Jomier and
                  Alain Kurinckx},
  title        = {{PEPIN:} An Experimental Multi-Microcomputer Data Base Management
                  System},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {211--217},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/BouchetCFJK81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Broy81,
  author       = {Manfred Broy},
  title        = {Are Fairness Assumptions Fair?},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {116--125},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Broy81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/BryantF81,
  author       = {Raymond M. Bryant and
                  Raphael A. Finkel},
  title        = {A Stable Distributed Scheduling Algorithm},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {314--323},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Sun, 14 Jun 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/BryantF81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/ChenH81,
  author       = {Zhou Chao Chen and
                  C. A. R. Hoare},
  title        = {Partial Correctness of Communicating Sequential Processes},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {1--12},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Tue, 11 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/ChenH81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/CunhaM81,
  author       = {Paulo Roberto Freire Cunha and
                  T. S. E. Maibaum},
  title        = {A Synchronization Calculus for Message Oriented Programming},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {433--445},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/CunhaM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/DavidaDL81,
  author       = {George I. Davida and
                  Richard A. DeMillo and
                  Richard J. Lipton},
  title        = {Multilevel Secure Distributed System},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {308--312},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/DavidaDL81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/EdgeM81,
  author       = {Stephen William Edge and
                  A. J. Mayne},
  title        = {A Stochastic Model of an End-to-End Packet-Switched Connection with
                  Optimistic Storage Allocation at the Receiver},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {227--235},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/EdgeM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/FeridunS81,
  author       = {A. M. Feridun and
                  Kang G. Shin},
  title        = {A Fault-Tolerant Multiprocessor System with Rollback Recovery Capabilities},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {283--298},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/FeridunS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/FischerGGL81,
  author       = {Michael J. Fischer and
                  Leonidas J. Guibas and
                  Nancy D. Griffeth and
                  Nancy A. Lynch},
  title        = {Optimal Placement of Identical Resources in a Distributed Network},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {324--336},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/FischerGGL81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/FusiS81,
  author       = {A. Fusi and
                  G. Sommi},
  title        = {Distributed Virtual Systems},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {41--49},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/FusiS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/GilbertBK81,
  author       = {Barry K. Gilbert and
                  Rodney D. Beistad and
                  Loren M. Krueger},
  title        = {A Hierarchical Network of Processors for computed Tomography Computation
                  on Large Data Bases},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {423--431},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Mon, 26 Jun 2006 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/GilbertBK81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/GrimsdaleHMS81,
  author       = {Richard L. Grimsdale and
                  Fred Halsall and
                  F. Martin{-}Polo and
                  Gholamali C. Shoja},
  title        = {{POLYPROC} II-The University of Sussex Multiple Microprocessor System},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {95--103},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/GrimsdaleHMS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/HennessyLP81,
  author       = {Matthew Hennessy and
                  Wei Li and
                  Gordon D. Plotkin},
  title        = {A First Attempt at Translating {CSP} into {CCS}},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {105--115},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Wed, 17 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/HennessyLP81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Herbert81,
  author       = {Andrew Herbert},
  title        = {The User Interface to the Cambridge Model Distributed System},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {503--508},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Herbert81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Herman81,
  author       = {D. Herman},
  title        = {Controle Repati Des Synchronisations Entre Processus},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {24--30},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Herman81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/IraniK81,
  author       = {Keki B. Irani and
                  Nicholas G. Khabbaz},
  title        = {A Combined Communication Network design and File Allocation for Distributed
                  Databases},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {197--210},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/IraniK81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/JaffeM81,
  author       = {Jeffrey M. Jaffe and
                  Franklin H. Moss},
  title        = {A Responsive Distributed Routing Algorithm for Computer Networks},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {348--352},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/JaffeM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Janicki81,
  author       = {Ryszard Janicki},
  title        = {On the Design of Concurrent Systems},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {455--466},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Janicki81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Kieburtz81,
  author       = {Richard B. Kieburtz},
  title        = {A Distributed Operating System for the Stony Brook Multicomputer},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {67--78},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Kieburtz81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/KleinrockM81,
  author       = {Farouk Kamoun and
                  Leonard Kleinrock and
                  Richard R. Muntz},
  title        = {Queueing Analysis of the Ordering Issue in a Distributed Database
                  Concurrency Control Mechanism},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {13--23},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Tue, 24 Jan 2006 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/KleinrockM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/KnightI81,
  author       = {J. Knight and
                  M. Itzkowitz},
  title        = {{THC-A} Dimple High-Performance Local Network},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {354--359},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/KnightI81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/KramerMS81,
  author       = {Jeff Kramer and
                  Jeff Magee and
                  Morris Sloman},
  title        = {Intertask Communication Primitives for Distributed Computer Control
                  Systems},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {404--411},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/KramerMS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/LauerS81,
  author       = {Peter E. Lauer and
                  M. W. Shields},
  title        = {Interpreted {COSY} Programs: Programming and Verification},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {137--147},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/LauerS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/LiL81,
  author       = {C.{-}M. Li and
                  M. T. Liu},
  title        = {{DISLANG:} {A} Distributed Programming Language/System},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {162--172},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/LiL81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Lindsay81,
  author       = {Bruce G. Lindsay},
  title        = {Object Naming and Catalog Management for a Distributed Database Management
                  System},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {31--39},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Fri, 21 Dec 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/Lindsay81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/LunnB81,
  author       = {Kenneth Lunn and
                  Keith H. Bennett},
  title        = {A Highly Reliable Distributed Filestore Directory System},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {299--307},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Fri, 22 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/LunnB81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/MaisonneuveLK81,
  author       = {M. Maisonneuve and
                  J.{-}P. L{\'{e}}vy and
                  J.{-}L. Konrat},
  title        = {Architecture du Logiciel d'un Autocommutateur construit sur un Reseau},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {388--396},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/MaisonneuveLK81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/MarcoglieseN81,
  author       = {R. Marcogliese and
                  R. Novarese},
  title        = {Module and Data Allocation Methods in Distributed Systems},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {50--59},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/MarcoglieseN81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/MatelliM81,
  author       = {Rocco De Nicola and
                  Alberto Martelli and
                  Ugo Montanari},
  title        = {Communication Through Message Passing or Shared Memory: {A} Formal
                  Comparison},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {513--522},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Wed, 20 Jul 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/MatelliM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/McDermid81,
  author       = {John A. McDermid},
  title        = {Checkpointing and Error Recovery in distributed Systems},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {271--282},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Sat, 25 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/McDermid81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/OwenR81,
  author       = {D. Owen and
                  Allan Ramsay},
  title        = {An Interactive Environment for Distributed Computing},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {173--178},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Fri, 06 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/OwenR81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Powell81,
  author       = {D. R. Powell},
  title        = {Performance Evaluation and Comparison of Dependable Channel Access
                  Technologies for Locally-Distributed computing systems},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {256--269},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Powell81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/PulkkisP81,
  author       = {G. Pulkkis and
                  P. Poyhonen},
  title        = {Performance Modeling of a Class of Asynchronous {TMR} Processor Systems},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {236--246},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/PulkkisP81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Queille81,
  author       = {Jean{-}Pierre Queille},
  title        = {The {CESAR} System: An Aided Design and Certification System},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {149--161},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Queille81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/SaltzerRC81,
  author       = {Jerome H. Saltzer and
                  David P. Reed and
                  David D. Clark},
  title        = {End-to-End Arguments in System Design},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {509--512},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/SaltzerRC81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/SchwartzM81,
  author       = {Richard L. Schwartz and
                  P. M. Melliar{-}Smith},
  title        = {Temporal Logic Specification of Distributed Systems},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {446--454},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/SchwartzM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Seligman81,
  author       = {Daniel R. Seligman},
  title        = {On the Performance Evaluation of DECnet},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {484--496},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Seligman81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/ShriraF81,
  author       = {Liuba Shrira and
                  Nissim Francez},
  title        = {An Experimental Implementation of {CSP}},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {126--136},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/ShriraF81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/SiegelM81,
  author       = {Howard Jay Siegel and
                  Robert J. McMillen},
  title        = {The Cube Network as a Distributed Processing Test Bed Switch},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {377--386},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/SiegelM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/SleepB81,
  author       = {M. Ronan Sleep and
                  F. Warren Burton},
  title        = {Towards a Zero Assignment Parallel Processor},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {80--85},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/SleepB81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Spaniol81,
  author       = {Otto Spaniol},
  title        = {Analysis and Performance Evaluation of HYPERchannel Access Protocols},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {247--255},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Spaniol81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/TilborgW81,
  author       = {Andr{\'{e}} M. Van Tilborg and
                  Larry D. Wittie},
  title        = {Wave Scheduling: Distributed Allocation of Task Forces in Network
                  Computers},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {337--347},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Tue, 08 Nov 2005 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdcs/TilborgW81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Toan81,
  author       = {N. G. Toan},
  title        = {Distributed Query Management for a Local Network Database System},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {188--196},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Toan81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/Voss81,
  author       = {K. Voss},
  title        = {Stepwise Specification of a Distributed Database System},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {218--225},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/Voss81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/ZimmermannBCGM81,
  author       = {Hubert Zimmermann and
                  Jean{-}Serge Banino and
                  Alain Caristan and
                  Marc Guillemont and
                  G{\'{e}}rard Morisset},
  title        = {Basic Concepts for the Support of Distributed Systems: The Chorus
                  Approach},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {60--66},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/ZimmermannBCGM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdcs/1981,
  title        = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/1981.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics