Constraint-based structuring of distributed protocols

Authors:
Gurdip Singh
Affiliations:
Department of Computing and Information Sciences, 234 Nichols Hall, Kansas State University, Manhattan, Kansas
Venue:
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Year:
1995

Hierarchical correctness proofs for distributed algorithms

PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
A compositional approach to superimposition

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A methodology for designing communication protocols

SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications

Hi-index	0.00