Logic Tuple Spaces for the Coordination of Heterogeneous Agents