Coordination languages and their significance
Communications of the ACM
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
A calculus of mobile processes, I
Information and Computation
Understanding ActiveX and OLE: a guide for developers and managers
Understanding ActiveX and OLE: a guide for developers and managers
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
Preemption in Concurrent Systems
Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Infinite types for distributed object interfaces
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Dynamically Adapting the Behaviour of Software Components
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Adapting Components with Mismatching Behaviours
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
A set-theoretic framework for component composition
Fundamenta Informaticae
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
Systematic Development of Trustworthy Component Systems
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Conformance notions for the coordination of interaction components
Science of Computer Programming
Protocol compatibility notations for service integration testing
Proceedings of the International Workshop on Quality Assurance for Service-Based Applications
Grid services adaptation in a grid workflow
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
A Set-Theoretic Framework for Component Composition
Fundamenta Informaticae
Hi-index | 0.00 |