CCE: A Process-Calculus Based Formalism for Specifying Multi-Object Coordination.

Manibrata Mukherji, Dennis G. Kafura

Browse the full Coordination paper archive.