Search dblp for Publications

export results for "toc:db/conf/dagstuhl/dagstuhl-ds94.bht:"

 download as .bib file

@proceedings{DBLP:conf/dagstuhl/1994ds,
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60042-6},
  doi          = {10.1007/3-540-60042-6},
  isbn         = {3-540-60042-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/1994ds.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AlvisiM94,
  author       = {Lorenzo Alvisi and
                  Keith Marzullo},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {Deriving Optimal Checkpoint Protocols for Distributed Shared Memory
                  Architectures},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {111--120},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_8},
  doi          = {10.1007/3-540-60042-6\_8},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/AlvisiM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Birman94,
  author       = {Kenneth P. Birman},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {Merits of a Probabilistic Approach to Properties in Process Group
                  Systems (Informal Position Paper)},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {214--223},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_15},
  doi          = {10.1007/3-540-60042-6\_15},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Birman94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DawsonJ94,
  author       = {Scott Dawson and
                  Farnam Jahanian},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {Deterministic Fault Injection of Distributed Systems},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {178--196},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_13},
  doi          = {10.1007/3-540-60042-6\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/DawsonJ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/DolevM94,
  author       = {Danny Dolev and
                  Dalia Malki},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {The Design of the Transis System},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {83--98},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_6},
  doi          = {10.1007/3-540-60042-6\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/DolevM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GeihsBP94,
  author       = {Kurt Geihs and
                  Brigitte B{\"{a}}r and
                  Arno Puder},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {Towards Open Service Environments},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {153--163},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_11},
  doi          = {10.1007/3-540-60042-6\_11},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/GeihsBP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GuerraouiS94,
  author       = {Rachid Guerraoui and
                  Andr{\'{e}} Schiper},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {Transaction Model vs. Virtual Synchrony Model: Bridging the Gap},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {121--132},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_9},
  doi          = {10.1007/3-540-60042-6\_9},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/GuerraouiS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/JohansenH94,
  author       = {Dag Johansen and
                  Gunnar Hartvigsen},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {Architectural Issues in the StormCast System},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_1},
  doi          = {10.1007/3-540-60042-6\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/JohansenH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Kolland94,
  author       = {Markus Kolland},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {Support for Information Sharing in {CSCW} Based on Causally and Totally
                  Ordered Group Communication},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {64--82},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_5},
  doi          = {10.1007/3-540-60042-6\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Kolland94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MageeEK94,
  author       = {Jeff Magee and
                  Susan Eisenbach and
                  Jeff Kramer},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {Modelling Darwin in the Pi-Caculus},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {133--152},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_10},
  doi          = {10.1007/3-540-60042-6\_10},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/MageeEK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MatternF94,
  author       = {Friedemann Mattern and
                  Stefan F{\"{u}}nfrocken},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {A Non-Blocking Lightweight Implementation of Causal Order Message
                  Delivery},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {197--213},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_14},
  doi          = {10.1007/3-540-60042-6\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/MatternF94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/MizunoRZ94,
  author       = {Masaaki Mizuno and
                  Michel Raynal and
                  James Z. Zhou},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {Sequential Consistency in Distributed Systems},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {224--241},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_16},
  doi          = {10.1007/3-540-60042-6\_16},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/MizunoRZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Reisig94,
  author       = {Wolfgang Reisig},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {Correctness Proofs of Distributed Algorithms},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {164--177},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_12},
  doi          = {10.1007/3-540-60042-6\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Reisig94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Reiter94,
  author       = {Michael K. Reiter},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {The Rampart Toolkit for Building High-Integrity Services},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {99--110},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_7},
  doi          = {10.1007/3-540-60042-6\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Reiter94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/RenesseBEM94,
  author       = {Robbert van Renesse and
                  Kenneth P. Birman and
                  Thorsten von Eicken and
                  Keith Marzullo},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {New Applications for Group Computing},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {58--63},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_4},
  doi          = {10.1007/3-540-60042-6\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/RenesseBEM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Schwarz94,
  author       = {Reinhard Schwarz},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {Speedup Limits for Tighly-Coupled Parallel Computations},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {242--259},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_17},
  doi          = {10.1007/3-540-60042-6\_17},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Schwarz94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Shrivastava94,
  author       = {Santosh K. Shrivastava},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {Lessons Learned from Building and Using the Arjuna Distributed Programming
                  System},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_2},
  doi          = {10.1007/3-540-60042-6\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/Shrivastava94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/WhettenMK94,
  author       = {Brian Whetten and
                  Todd Montgomery and
                  Simon M. Kaplan},
  editor       = {Kenneth P. Birman and
                  Friedemann Mattern and
                  Andr{\'{e}} Schiper},
  title        = {A High Performance Totally Ordered Multicast Protocol},
  booktitle    = {Theory and Practice in Distributed Systems, International Workshop,
                  Dagstuhl Castle, Germany, September 5-9, 1994, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {938},
  pages        = {33--57},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-60042-6\_3},
  doi          = {10.1007/3-540-60042-6\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/WhettenMK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics