Compositional Refinements in Multiple Blackboard Systems.

X. J. Chen, Carlo Montangero

Browse the full ESOP paper archive.