Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
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
Generating Type Systems for Process Graphs
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Typing Non-uniform Concurrent Objects
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Reasoning About Concurrent Systems Using Types
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Flow-sensitive type systems and the ambient calculus
Higher-Order and Symbolic Computation
Type abstractions of name-passing processes
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Internal and external token-based synchronization in object-oriented languages
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
State inference for dynamically changing interfaces
Computer Languages
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
| Hi-index | 0.03 |