Changeable interfaces and promised messages for concurrent components
Proceedings of the 1999 ACM symposium on Applied computing
Behavioural typing for objects and process calculi
Formal methods for distributed processing
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Typing Non-uniform Concurrent Objects
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Internal and external token-based synchronization in object-oriented languages
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
An Algebra of Behavioural Types
Information and Computation
State inference for dynamically changing interfaces
Computer Languages
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Hi-index | 0.00 |