A coordination language for mobile components
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Comparing coordination models and architectures using embeddings
Science of Computer Programming - Special issue on coordination languages and architectures
GCCS: A Graphical Coordination Language for System Specification
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
A Logical Interface Description Language for Components
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Operational Semantics for Coordination in Paradigm
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Coordination through Channel Composition
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Tuple-Based Models in the Observation Framework
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Comparing semantic frameworks for coordination: on the conformance issue for coordination media
Proceedings of the 2003 ACM symposium on Applied computing
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
A coordination approach to mobile components
Theoretical Computer Science - Formal methods for components and objects
Fundamenta Informaticae
Connector colouring I: Synchronisation and context dependency
Science of Computer Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Connector Colouring I: Synchronisation and Context Dependency
Electronic Notes in Theoretical Computer Science (ENTCS)
Interaction and coordination of tools for structured data
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
Fundamenta Informaticae
Hi-index | 5.24 |