Coordination Among Mobile Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Coordination-Based Design of Distributed Systems
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Verification and refinement with fine-grained action-based concurrent objects
Theoretical Computer Science - Formal methods for components and objects
Hi-index | 0.01 |