default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDistributed Computing, Volume 6
Volume 6, Number 1, 1992
- Fred B. Schneider:
Introduction. 1-3 - Manfred Broy:
Algebraic and Functional Specification of an Interactive Serializable Database Interface. 5-18 - Reino Kurki-Suonio:
Operational Specification with Joint Actions: Serializable Databases. 19-37 - Simon S. Lam, A. Udaya Shankar:
Specifying Modules to Satisfy Interfaces: A State Transition System Approach. 39-63 - Leslie Lamport:
Critique of the Lake Arrowhead Three. 65-71
Volume 6, Number 2, 1992
- Prakash Panangaden, Kim Taylor:
Concurrent Common Knowledge: Defining Agreement for Asynchronous Systems. 73-93 - Ted Herman:
Self-Stabilization: Randomness to Reduce Space. 95-98 - Anne Kaldewaij, Jan Tijmen Udding:
Rank Order Filters and Priority Queues. 99-105 - Shmuel Katz, Doron A. Peled:
Verification of Distributed Programs Using Representative Interleaving Sequences. 107-120 - Nancy A. Lynch, Hagit Attiya
:
Using Mappings to Prove Timing Properties. 121-139
Volume 6, Number 3, 1993
- James H. Anderson:
Composite Registers. 141-154 - Reinhard Enders, Thomas Filkorn, Dirk Taubner:
Generating BDDs for Symbolic Model Checking in CCS. 155-164 - Jean Frédéric Myoupo:
Mapping Dynamic Programming Onto Modular Linear Systolic Arrays. 165-179 - Gil Neiger, Mark R. Tuttle:
Common Knowledge and Consistent Simultaneous Coordination. 181-192 - Rogério Drummond, Özalp Babaoglu:
Low-Cost Clock Synchronization. 193-203
Volume 6, Number 4, 1993
- Amos Israeli, Ming Li:
Bonded Time-Stamps. 205-209 - Barbara Liskov:
Practical Uses of Synchronized Clocks in Distributed Systems. 211-219 - Yih-Kuen Tsay, Rajive L. Bagrodia:
Some Impossibility Results in Interprocess Synchronization. 221-231 - Jennifer L. Welch, Nancy A. Lynch:
A Modular Drinking Philosophers Algorithm. 233-244 - 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.
last updated on 2024-10-07 21:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
