Distributed Computing, Volume 12

Volume 12, Number 1, 1999

• Gurdip Singh:
  Constraint-based Structuring of Network Protocols. 1-12
  Electronic Edition (Springer LINK) BibTeX
• Steven P. Ketchpel, Hector Garcia-Molina:
  A Sound and Complete Algorithm for Distributed Commerce Transactions. 13-29
  Electronic Edition (Springer LINK) BibTeX
• Loe M. G. Feijs:
  Generating FSMs from Interworkings. 31-40
  Electronic Edition (Springer LINK) BibTeX
• Shing-Tsaan Huang, Tzong-Jye Liu:
  Self-stabilizing 2^m-Clock for Unidirectional Rings of Odd Size. 41-46
  Electronic Edition (Springer LINK) BibTeX
• Mehmet Hakan Karaata, Pranay Chaudhuri:
  A Self-Stabilizing Algorithm for Bridge Finding. 47-53
  Electronic Edition (Springer LINK) BibTeX

Volume 12, Numbers 2-3, 1999

• Michael Merritt:
  Introduction. 55-56
  Electronic Edition (Springer LINK) BibTeX
• Rob Gerth:
  Sequential Consistency and the Lazy Caching Algorithm. 57-59
  Electronic Edition (Springer LINK) BibTeX
• Ed Brinksma:
  Cache Consistency by Design. 61-74
  Electronic Edition (Springer LINK) BibTeX
• Susanne Graf:
  Characterization of a Sequentially Consistent Memory and Verification of a Cache Memory by Abstraction. 75-90
  Electronic Edition (Springer LINK) BibTeX
• Gavin Lowe, Jim Davies:
  Using CSP to Verify Sequential Consistency. 91-103
  Electronic Edition (Springer LINK) BibTeX
• Wil Janssen, Mannes Poel, Job Zwiers:
  The Compositional Approach to Sequential Consistency and Lazy Caching. 105-127
  Electronic Edition (Springer LINK) BibTeX
• Bengt Jonsson, Amir Pnueli, Camilla Rump:
  Proving Refinement Using Transduction. 129-149
  Electronic Edition (Springer LINK) BibTeX
• Peter B. Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel:
  Lazy Caching in TLA. 151-174
  Electronic Edition (Springer LINK) BibTeX

Volume 12, Number 4, 1999

• Monika Kapus-Kolar:
  Comments on Deriving Protocol Specifications from Service Specifications Written in LOTOS. 175-177
  Electronic Edition (Springer LINK) BibTeX
• Francisco J. Torres-Rojas, Mustaque Ahamad:
  Plausible Clocks: Constant Size Logical Clocks for Distributed Systems. 179-195
  Electronic Edition (Springer LINK) BibTeX
• Wim H. Hesselink:
  Progress Under Bounded Fairness. 197-207
  Electronic Edition (Springer LINK) BibTeX
• Michel Hurfin, Michel Raynal:
  A Simple and Fast Asynchronous Consensus Protocol Based on a Weak Failure Detector. 209-223
  Electronic Edition (Springer LINK) BibTeX