An inheritance-based technique for building simulation proofs incrementally
Proceedings of the 22nd international conference on Software engineering
Specifying and using a partitionable group communication service
ACM Transactions on Computer Systems (TOCS)
Group Communication in Partitionable Systems: Specification and Algorithms
IEEE Transactions on Software Engineering
Group communication specifications: a comprehensive study
ACM Computing Surveys (CSUR)
Moshe: A group membership service for WANs
ACM Transactions on Computer Systems (TOCS)
Group Communication in Partitionable Distributed Systems
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Avoiding State Explosion for Distributed Systems with Timestamps
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Cooperative computing with fragmentable and mergeable groups
Journal of Discrete Algorithms
Group membership: a novel approach and the first single-round algorithm
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing
Groups Partitioning Over CORBA for Cooperative Work
Cluster Computing
Dynamic load balancing with group communication
Theoretical Computer Science
| Hi-index | 0.00 |