[comp.os.research] 9ICDCS bibliography

shapiro@blueberry.inria.fr.inria.fr (Marc Shapiro) (08/22/89)

[ Also available via anonymous ftp from midgard.ucsc.edu: pub/bib/icdcs-9.bib ]

In hope it will be useful to someone, below you will find the full
bibliography for the 9th International Conference on Distributed
Computing Systems, in bibtex format.

The keys are just the 1st page of each article (why not?).

						Marc Shapiro

INRIA, B.P. 105, 78153 Le Chesnay Cedex, France.  Tel.: +33 (1) 39-63-53-25
e-mail: shapiro@sor.inria.fr			(internet)
        ...!inria!shapiro			(uucp)
        inria!shapiro@uunet.uu.net 		(non-standard)

------- start 9th ICDCS bibliography -------------------------

@string{icdcs9 = "Proceedings of the 9th Int.\ Conf.\ on
		  Distributed Computing Systems"}

@string{nwprtbeach = nwprtbeach }

@InProceedings{p2,
  author = 	 "M. Ahuja and Y. Zhu",
  title = 	 "A Distributed Algorithm for Minimum Weight Spanning
		  Trees Based on Echo Algorithms",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "2--8",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p9,
  author = 	 "C. S. Hsieh",
  title = 	 "Decentralized Evaluation of Associative and
		  Commutative Functions",
  booktitle =     icdcs9,
  year = 	 1989,
  pages = 	 "9--11",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p12,
  author = 	 "D. Barbar\'{a} and R. J. Lipson",
  title = 	 "A Randomized Technique for Remote File Comparison",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "12--21",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p22,
  author = 	 "van Renesse, R. and A. S. Tanenbaum and A. Wilschut",
  title = 	 "The Design of a High-Performance File Server",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "22--27",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}
@InProceedings{p28,
  author = 	 "M. Theimer and L.-F. Cabrera and J. Wyllie",
  title = 	 "{Q}uick{S}ilver Support for Access to Data in Large,
		  Geographically Dispersed Systems",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "28--35",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}
@InProceedings{p36,
  author = 	 "S. K. Chung and E. D. Lazowska and D. Notkin and J. Zahorjan",
  title = 	 "Performance Implications of Design Alternatives for
		  Remote Procedure Call Stubs",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "36--43",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}
@InProceedings{p44,
  author = 	 "J. M. Smith and Maguire, G. Q., Jr.",
  title = 	 "Transparent Concurrent Execution of Mutually
		  Exclusive Alternatives",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "44--52",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p53,
  author = 	 "S. Venkatesan",
  title = 	 "Message-Optimal Incremental Snapshots",
  booktitle = 	 icdcs9,
  year = 	 "1989",
  pages = 	 "53--60",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p61,
  author = 	 "M. Spezialetti and J. P. Kearns",
  title = 	 "Simultaneous Regions: A Framework for the Consistent Monitoring of Distributed Systems",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "61--69",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p70,
  author = 	 "M. Singhal",
  title = 	 "A Dynamic Information-Structure Mutual Exclusion
		  Algorithm for Distributed Systems",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "70--78",
  OPTorganization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p79,
  author = 	 "S.-T. Huang",
  title = 	 "Detecting Termination of Distributed Computations by
		  External Agents",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "79--84",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p85,
  author = 	 "L. Gong",
  title = 	 "Securely Replicating Authentication Services",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "85--91",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p94,
  author = 	 "F. Mattern",
  title = 	 "Message Complexity of Simple Ring-Based Election Algorithms---An Empirical Analysis",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "94--100",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p101,
  author = 	 "A. Kumar and A. Segev",
  title = 	 "Optimization And Evaluating Algorithms for
		  Replicated Data Concurrency Control",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "101--109",
  organization = "IEEE",
  address =      nwprtbeach,
  month = 	 jun
}

@InProceedings{p110,
  author = 	 "N. E. Belkeir and M. Ahamad",
  title = 	 "Low Cost Algorithms for Message Delivery in Dynamic
		  Multicast Groups",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "110--119",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p120,
  author = 	 "P. Kearns and B. Koodalattupuram",
  title = 	 "Immediate Ordered Service in Distributed Systems",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "120--121",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p121,
  author = 	 "R. C. Chen and P. Dasgupta",
  title = 	 "Linking Consistency with Object/Thread Semantics; An
		  Approach to Robust Computation",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "121--128",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p129,
  author = 	 "P. M. Melliar-Smith and L. E. Moser",
  title = 	 "Fault-Tolerant Distributed Systems Based on
		  Broadcast Communication",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "129--133",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p136,
  author = 	 "P. Thambidurai and Y.-K. Park and K. S. Trivedi",
  title = 	 "On Reliability Modelling of Fault-Tolerant
		  Distributed Systems",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "136--142",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p143,
  author = 	 "A. A. Farrag and R. J. Dawson",
  title = 	 "Fault-Tolerant Extensions of Complete Multipartite Networks",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "143--150",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p151,
  author = 	 "Y.-B. Shieh and D. Ghosal and P. R. Chintamanei and
		  S. K. Tripathi",
  title = 	 "Application of {P}etri Net Models for the Evaluation
		  of Fault-Tolerant Techniques in Distributed Systems",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "151--159",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p162,
  author = 	 "S. A. Yemini and C. S. Goldsmidt and A. D. Stoyenko
		  and Y.-H.Wei and L. W. Beeck",
  title = 	 "{CONCERT}: A High-Level Language Approach to
		  Heterogeneous Distributed Systems",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "162--171",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p172,
  author = 	 "J. J. Bloch",
  title = 	 "The {C}amelot Library: A {C} Language Extension for
		  Programming a General Purpose Distributed
		  Transaction System",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "172--180",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}
@InProceedings{p181,
  author = 	 "M. Sullivan and D. Anderson",
  title = 	 "Marionette: A System for Parallel Distributed
		  Programming Using a Master/Slave Model",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "181--188",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p190,
  author = 	 "D.-T. Peng and K. G. Shin",
  title = 	 "Static Allocation of Periodic Tasks with Precedence",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "190--198",
  organization = "IEEE",
  address = 	 "Newport Beach. CA {USA}",
  month = 	 jun
}

@InProceedings{p199,
  author = 	 "S. Davidson and I. Lee and V. Wolfe",
  title = 	 "A Protocol for Timed Atomic Commitment",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "199--206",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p207,
  author = 	 "J. S. Ostroff",
  title = 	 "Verifying Finite State Real-Time Discrete Event Processes",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "207--216",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p218,
  author = 	 "Y. Ofek",
  title = 	 "Generating Fault Tolerant Global Clock in a High
		  Speed Distributed System",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "218--226",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p227,
  author = 	 "A. P. Sheth ",
  title = 	 "Faut Tolerance in a Very Large Database System: A
		  Strawman Analysis",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "227--236",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p237,
  author = 	 "T. Madej",
  title = 	 "An Application of Group Testing to the File
		  Comparison Problem",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "237--243",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p246,
  author = 	 "H. P. Katseff",
  title = 	 "Initializing Hypercubes",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "246--253",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p254,
  author = 	 "K. Efe",
  title = 	 "Programming the Twisted-Cube Architectures",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "254--262",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p263,
  author = 	 "B. Jin and L. Jin",
  title = 	 "A New Approach to Hypercube Network Analysis",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "263--268",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p270,
  author = 	 "G.-C. Roman and H. C. Cunningham",
  title = 	 "A Shared Dataspace Model of Concurrency---Language and
		  Programming Implications",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "270--279",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p280,
  author = 	 "W. Peng and S. Purushothaman",
  title = 	 "Analysis of Communicating Processes for Non-Progress",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "280--287",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p288,
  author = 	 "F. Cristian",
  title = 	 "A Probabilistic Approach to Distributed Clock Synchronization",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "288--296",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p298,
  author = 	 "R. Mirchandaney and D. Towsley and J. A. Stankovic",
  title = 	 "Adaptive Load Sharing in Heterogeneous Systems",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "298--306",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p307,
  author = 	 "K. Efe and B. Groselj",
  title = 	 "Minimizing Control Overheads in Adaptive Load Sharing",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "307--315",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p316,
  author = 	 "P. Liu and Y. Kiyoki and T. Masuda",
  title = 	 "Efficient Algorithms for Resource Allocation in Distributed and Parallel Query Processing Environments",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "316--323",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}


@InProceedings{p326,
  author = 	 "C. E. Wills",
  title = 	 "A Service Execution Mechanism for a Distributed Environment",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "326--334",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p335,
  author = 	 "H. F. Wedde and B. Korel and W. G. Brown and S. Chen",
  title = 	 "Transparent Distributed Object Management Under
		  Completely Decentralized Control",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "335--342",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p343,
  author = 	 "C. Lee and L. Bic",
  title = 	 "Performance of a Decentralized Knowledge Base System",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "343--352",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p354,
  author = 	 "H. Garcia-Molina and A. M. Spauster",
  title = 	 "Message Ordering in a Multicast Environment",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "354--361",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p362,
  author = 	 "A. Bouloutas and P. M. Gopal",
  title = 	 "Some Graph Partitioning Problems and Algorithms Related to Routing in large Computer Networks",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "362--370",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p371,
  author = 	 "C. D. Wolfson and E. Voorhees and M. M. Flatley",
  title = 	 "Intelligent Routers",
  booktitle = 	 icdcs9,
  year = 	 "1989",
  pages = 	 "371--376",
  OPTorganization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p378,
  author = 	 "D. Kotz and C. S. Ellis",
  title = 	 "Evaluation of Concurrent Pools",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "378--386",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p386,
  author = 	 "S. Nishio and K. F. Li and E. G. Manning",
  title = 	 "A Time-Out Based Resilient Token Transfer Algorithm
		  for Mutual Exclusion in Computer Networks",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "386--393",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p394,
  author = 	 "J.-F. P\^{a}ris",
  title = 	 "Voting with Bystanders",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "394--401",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p406,
  author = 	 "A. Leff and P. S. Yu and Y.-H. Lee",
  title = 	 "Adaptive Transaction Routing in a Heterogeneous
		  Database Environment",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "406--413",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p414,
  author = 	 "S. T. Vinter and N. Phadnis and R. Floyd",
  title = 	 "Distributed Query Processing in {C}ronus",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "414--422",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p423,
  author = 	 "P.-J. Leu and B. Bhargava",
  title = 	 "A Model for Concurrent Checkpointing and Recovery
		  Using Transactions",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "423--430",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p432,
  author = 	 "V. V. Karmarkar and J. G. Kuhl",
  title = 	 "A High Performance Virtual Token-Passing
		  Multiple-Access Method for Multiple-Bus Local Networks",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "432--439",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p440,
  author = 	 "A. M. Viterbi",
  title = 	 "Performance Analysis of Synchronous Packet Networks
		  with Priority Queueing Disciplines",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "440--447",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p448,
  author = 	 "W. B. Watson",
  title = 	 "Capacity Testing a {HYPER}channel-Based Local Area Network",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "448--454",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p456,
  author = 	 "S. Sarin and R. Floyd and N. Phadnis",
  title = 	 "A Flexible Algorithm for Replicated Directory Management",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "456--464",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p465,
  author = 	 "D. D. E. Long and J. L. Carroll and K. Stewart",
  title = 	 "The Reliability of Regeneration-Based Replica
		  Control Protocols",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "465--473",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p474,
  author = 	 "T.-P. Ng and S. S. B. Shi",
  title = 	 "Replicated Transactions",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "474--480",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun

}
@InProceedings{p482,
  author = 	 "L. Kleinrock and W. Korfhage",
  title = 	 "Collecting Unused Processing Capacity: An Analysis
		  of Transient Distributed Systems",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "482--489",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p490,
  author = 	 "C. J. Wang and V. P. Nelson and C. H. Wu",
  title = 	 "Performance Modeling of the Modified Mesh-Connected
		  Parallel Computer",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "490--497",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p498,
  author = 	 "R. E. Kessler and M. Livny",
  title = 	 "An Analysis of Distributed Shared Memory Algorithms",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "498--505",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p508,
  author = 	 "B. M. McMillin and L. M. Ni",
  title = 	 "Reliable Distributed Sorting Through the
		  Application-Oriented Fault Tolerance Paradigm",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "508--515",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p516,
  author = 	 "I. A. Cimet and C. Cheng and S. P. R. Kumar",
  title = 	 "On the Design of Resilient Protocols for Spanning-Tree Problems",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "516--523",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p524,
  author = 	 "B. N. Jain and R. Mittal and R. K. Patney",
  title = 	 "Fault-Tolerant Analysis and Algorithms for a
		  Proposed Augmented Binary Tree Architecture",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "524--531",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p534,
  author = 	 "S. R. Koppolu and S. Thanawastien and R. R. Henry",
  title = 	 "Fast Ring: A Distributed Architecture and Protocol
		  for Local Area Distributed Processing",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "534--549",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p542,
  author = 	 "R. D. Gaglianello and B. S. Robinson and T. L.
		  Lindstrom and E. E. Sampieri",
  title = 	 "{HCP/VORX}: A Local Area Multicomputer System",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "542--549",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p550,
  author = 	 "A. P. Black and Y. Artsy",
  title = 	 "Implementing Location Independent Invocation",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "550--559",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p562,
  author = 	 "J. C. Adams and K. V. S. Ramarao",
  title = 	 "Distributed Diagnosis of Byzantine Processors and Links",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "562--569",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p570,
  author = 	 "S. M. Yang and K. H. Kim",
  title = 	 "Implementation of the Conversion Scheme in Loosely
		  Coupled Distributed Computer Systems",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "570--578",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p579,
  author = 	 "C.-L. Haung and V. O. K. Li",
  title = 	 "Missing-Partition Dynamic Voting Scheme for
		  Replicated Database Systems",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "579--586",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p588,
  author = 	 "J. M. Purtilo and P. Jalote",
  title = 	 "An Environment for Prototyping Distributed
		  Applications",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "588--595",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p595,
  author = 	 "S. M. Shatz and K. Mai and D. Moorthi and J. Woodward",
  title = 	 "A Toolkit for Automated Support of {A}da Tasking Analysis",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "595--602",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

@InProceedings{p603,
  author = 	 "S. S. Yau and K. W. I. Chen",
  title = 	 "An Approach to Verification of Communication in
		  Distributed Computing System Software",
  booktitle = 	 icdcs9,
  year = 	 1989,
  pages = 	 "603--618",
  organization = "IEEE",
  address = 	 nwprtbeach,
  month = 	 jun
}

------- end 9th ICDCS bibliography -------------------------
						Marc Shapiro

INRIA, B.P. 105, 78153 Le Chesnay Cedex, France.  Tel.: +33 (1) 39-63-53-25
e-mail: shapiro@sor.inria.fr			(internet)
        ...!inria!shapiro			(uucp)
        inria!shapiro@uunet.uu.net 		(non-standard)