Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coordinating first-order multiparty interactions
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A comprehensive study of the complexity of multiparty interaction
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Coordinating first-order multiparty interactions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient fault-tolerant algorithms for distributed resource allocation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A comprehensive study of the complexity of multiparty interaction
Journal of the ACM (JACM)
Localizing Failures in Distributed Synchronization
IEEE Transactions on Parallel and Distributed Systems
On strong-feasibilities of equivalence-completions
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Some impossibility results in interprocess synchronization
Distributed Computing
Designing a multiway synchronization protocol
Computer Communications
| Hi-index | 0.00 |