Changeable interfaces and promised messages for concurrent components
Proceedings of the 1999 ACM symposium on Applied computing
Subtyping in distributed systems
Formal methods for distributed processing
Behavioural typing for objects and process calculi
Formal methods for distributed processing
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Behavioural Subtyping Relations for Object-Oriented Formalisms
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Checking behavioural subtypes via refinement
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Relating state-based and behaviour-oriented subtyping
Nordic Journal of Computing
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
State inference for dynamically changing interfaces
Computer Languages
Types for Active Objects with Static Deadlock Prevention
Fundamenta Informaticae
Hi-index | 0.00 |