rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Distributed computing
    sub title: 20th international symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006 : proceedings
  title info:
    title: DISC 2006
  name:
    name part: DISC 2006 (2006 : Stockholm, Sweden)
    role:
      role term: creator
  name:
    name part: Dolev, Shlomi.
  type of resource: text
  genre: bibliography
  genre: conference publication
  genre: Conference papers and proceedings.
  origin info:
    place:
      place term: gw
    date issued: 2006
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: print
    extent: xv, 576 pages : illustrations ; 24 cm.
  table of contents: Exploring Gafni's reduction land : from [Omega][superscript k] to wait-free adaptive (2p -- [p/k])-renaming via [kappa]-set agreement / Achour Mostefaoui, Michel Raynal and Corentin Travers -- Renaming in message passing systems with Byzantine failures / Michael Okun and Amnon Barak -- Built-in coloring for highly-concurrent doubly-linked lists / Hagit Attiya and Eshar Hillel -- Fault-tolerant and self-stabilizing mobile robots gathering / Xavier Defago, Maria Gradinariu, Stephane Messika and Philippe Raipin-Parvedy -- Fast Computation by population protocols with a leader / Dana Angluin, James Aspnes and David Eisenstat -- On self-stabilizing search trees / Doina Bein, Ajoy K. Datta and Lawrence L. Larmore -- Efficient dynamic aggregation / Yitzhak Birk, Idit Keidar, Liran Liss and Assaf Schuster -- Groupings and pairings in anonymous networks / Jeremie Chalopin, Shantanu Das and Nicola Santoro -- A new proof of the GHS minimum spanning tree algorithm / Yoram Moses and Benny Shimony -- A knowledge-based analysis of global function computation / Joseph Y. Halpern and Sabina Petride -- Checking a multithreaded algorithm with [superscript +]CAL / Leslie Lamport -- Capturing register and control dependence in memory consistency models with applications to the Itanium architecture / Lisa Higham, LillAnne Jackson and Jalal Kawash -- Conflict detection and validation strategies for software transactional memory / Michael F. Spear, Virendra J. Marathe, William N. Scherer III and Michael L. Scott -- Transactional locking II / Dave Dice, Ori Shalev and Nir Shavit -- Less is more : consensus gaps between restricted and unrestricted objects / Yehuda Afek and Eran Shalom -- One-step consensus solvability / Taisuke Izumi and Toshimitsu Masuzawa -- Time-bounded task-PIOAs : a framework for analyzing security protocols / Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira and Roberto Segala -- On consistency of encrypted files / Alina Oprea and Mich…
  note: Shlomi Dolev (ed.).
  note: Access restricted to subscribing institutions.
  note: Includes bibliographical references and index.
  subject:
    topic: Electronic data processing
    topic: Distributed processing
    genre: Congresses
  subject:
    topic: Traitement réparti
    genre: Congrès
  subject:
    topic: Electronic data processing
    topic: Distributed processing
  subject:
    topic: Verteiltes System
  subject:
    topic: Verteilter Algorithmus
  subject:
    topic: Verteilte Programmierung
  subject:
    geographic: Stockholm <2006>
  classification: QA76.9.D5 D438 2006
  classification: 004.36
  related item:
    identifier: (DLC) 2006932337
    identifier: (OCoLC)262693266
  related item:
    title info:
      title: Lecture notes in computer science ; 4167
  related item:
    title info:
      title: LNCS sublibrary
      part number: SL 1
      part name: Theoretical computer science and general issues
  identifier: 3540446249
  identifier: 9783540446248
  identifier: 3540446273
  identifier: 9783540446279
  identifier: 2006932337
  access condition: Access restricted to subscribing institutions.
  record info:
    record content source: OHX
    record creation date: 060922
    record change date: 20170928105335.0
    record identifier: in00003600651
    language of cataloging:
      language term: eng