Partitionable Virtual Synchrony Using Extended Virtual Synchrony
作者： John Lane Schultz
DOI:
关键词:
摘要:
jhu.edu参考文章(26)
Yair Amir, Replication Using Group Communication Over a Partitioned Network ,(1995)
Jason Hickey, Nancy Lynch, Robbert van Renesse, Specifications and Proofs for Ensemble Layers tools and algorithms for construction and analysis of systems. pp. 119- 133 ,(1999) , 10.1007/3-540-49059-0_9
N.A. Lynch, M.R. Tuttle, An introduction to input/output automata CWI quarterly. ,vol. 2, pp. 219- 246 ,(1989)
Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants, Computer-Assisted Simulation Proofs computer aided verification. pp. 305- 319 ,(1993) , 10.1007/3-540-56922-7_25
Kenneth P. Birman, ISIS: A System for Fault-Tolerant Distributed Computing Cornell University. ,(1986)
John V. Guttag, James J. Horning, Larch: Languages and Tools for Formal Specification ,(1993)
Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch, Computer-assisted verification of an algorithm for concurrent timestamps formal techniques for (networked and) distributed systems. pp. 29- 44 ,(1996) , 10.1007/978-0-387-35079-0_2
Sam Toueg, Bernadette Charron-Bost, Emmanuelle Anceaume, Pascale Minet, On the Formal Specification of Group Membership Services Cornell University. ,(1995)
Kenneth P. Birman, Robbert Van Renesse, Robert V. Renesse, Reliable Distributed Computing with the Isis Toolkit ,(1994)
Robbert Van Renesse, Kenneth P Birman, Silvano Maffeis, None, Horus: a flexible group communication system Communications of The ACM. ,vol. 39, pp. 76- 83 ,(1996) , 10.1145/227210.227229