Coordinating interaction patterns
Proceedings of the 2001 ACM symposium on Applied computing
Behavioural typing for objects and process calculi
Formal methods for distributed processing
Adapting Components with Mismatching Behaviours
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Software composition with Linda
Computer Languages, Systems and Structures
Type abstractions of name-passing processes
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
An Algebra of Behavioural Types
Information and Computation
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Static safety for an actor dedicated process calculus by abstract interpretation
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
State inference for dynamically changing interfaces
Computer Languages
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Hi-index | 0.00 |