Soumen Chakrabarti;Katherine A. Yelick
-;-
BOS is boss: a case for bulk-synchronous object systems
Proceedings of the eleventh annual ACM symposium on Parallel algorithms and architectures
The Clause-Diffusion Methodology For Distributed Deduction
Fundamenta Informaticae