default search action

combined dblp search
author search
venue search
publication search

ask others

Distributed Computing, Volume 6

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Journals > Distributed Computing

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 6, Number 1, 1992

- view
  authority control:
- export record
  dblp key:
  - journals/dc/Schneider92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Schneider92
Fred B. Schneider:
Introduction. 1-3
- view
  authority control:
- export record
  dblp key:
  - journals/dc/Broy92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Broy92
Manfred Broy:
Algebraic and Functional Specification of an Interactive Serializable Database Interface. 5-18
- view
  authority control:
- export record
  dblp key:
  - journals/dc/Kurki-Suonio92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Kurki-Suonio92
Reino Kurki-Suonio:
Operational Specification with Joint Actions: Serializable Databases. 19-37
- view
  authority control:
- export record
  dblp key:
  - journals/dc/LamS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/LamS92
Simon S. Lam, A. Udaya Shankar:
Specifying Modules to Satisfy Interfaces: A State Transition System Approach. 39-63
- view
  authority control:
- export record
  dblp key:
  - journals/dc/Lamport92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Lamport92
Leslie Lamport:
Critique of the Lake Arrowhead Three. 65-71

Volume 6, Number 2, 1992

- view
  authority control:
- export record
  dblp key:
  - journals/dc/PanangadenT92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/PanangadenT92
Prakash Panangaden, Kim Taylor:
Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems. 73-93
- view
  authority control:
- export record
  dblp key:
  - journals/dc/Herman92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Herman92
Ted Herman:
Self-Stabilization: Randomness to Reduce Space. 95-98
- view
  authority control:
- export record
  dblp key:
  - journals/dc/KaldewaijU92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/KaldewaijU92
Anne Kaldewaij, Jan Tijmen Udding:
Rank Order Filters and Priority Queues. 99-105
- view
  authority control:
- export record
  dblp key:
  - journals/dc/KatzP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/KatzP92
Shmuel Katz, Doron A. Peled:
Verification of Distributed Programs Using Representative Interleaving Sequences. 107-120
- view
  authority control:
- export record
  dblp key:
  - journals/dc/LynchA92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/LynchA92
Nancy A. Lynch, Hagit Attiya:
Using Mappings to Prove Timing Properties. 121-139

Volume 6, Number 3, 1993

- view
  authority control:
- export record
  dblp key:
  - journals/dc/Anderson93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Anderson93
James H. Anderson:
Composite Registers. 141-154
- view
  authority control:
- export record
  dblp key:
  - journals/dc/EndersFT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/EndersFT93
Reinhard Enders, Thomas Filkorn, Dirk Taubner:
Generating BDDs for Symbolic Model Checking in CCS. 155-164
- view
  authority control:
- export record
  dblp key:
  - journals/dc/Myoupo93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Myoupo93
Jean Frédéric Myoupo:
Mapping Dynamic Programming Onto Modular Linear Systolic Arrays. 165-179
- view
  authority control:
- export record
  dblp key:
  - journals/dc/NeigerT93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/NeigerT93
Gil Neiger, Mark R. Tuttle:
Common Knowledge and Consistent Simultaneous Coordination. 181-192
- view
  authority control:
- export record
  dblp key:
  - journals/dc/DrummondB93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/DrummondB93
Rogério Drummond, Özalp Babaoglu:
Low-Cost Clock Synchronization. 193-203

Volume 6, Number 4, 1993

- view
  authority control:
- export record
  dblp key:
  - journals/dc/IsraeliL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/IsraeliL93
Amos Israeli, Ming Li:
Bonded Time-Stamps. 205-209
- view
  authority control:
- export record
  dblp key:
  - journals/dc/Liskov93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/Liskov93
Barbara Liskov:
Practical Uses of Synchronized Clocks in Distributed Systems. 211-219
- view
  authority control:
- export record
  dblp key:
  - journals/dc/TsayB93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/TsayB93
Yih-Kuen Tsay, Rajive L. Bagrodia:
Some Impossibility Results in Interprocess Synchronization. 221-231
- view
  authority control:
- export record
  dblp key:
  - journals/dc/WelchL93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/WelchL93
Jennifer L. Welch, Nancy A. Lynch:
A Modular Drinking Philosophers Algorithm. 233-244
- view
  authority control:
- export record
  dblp key:
  - journals/dc/AttieFG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/AttieFG93
Paul C. Attie, Nissim Francez, Orna Grumberg:
Fairness and Hyperfairness in Multi-Party Interactions. 245-254

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.