F.__Arbab
A coinductive calculus of component connectors
A coordination language for mobile components
A logical interface description language for components
Abstract behavior types: A foundation model for components and their composition
Coordination languages for parallel programming
Coordination of massively concurrent activities
Reusable Coordinator Modules for Massively Concurrent Applications