Exclusion for composite objects
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Supporting the deployment of object oriented frameworks
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Formal methods for distributed processing
Subtyping in distributed systems
Formal methods for distributed processing
Behavioural typing for objects and process calculi
Formal methods for distributed processing
On Object Systems and Behavioral Inheritance
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Behavioural Subtyping Relations for Object-Oriented Formalisms
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Supporting the Deployment of Object-Oriented Frameworks
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Typing Non-uniform Concurrent Objects
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
An Implicitly-Typed Deadlock-Free Process Calculus
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
New Issues in Object Interoperability
ECOOP '00 Proceedings of the Workshops, Panels, and Posters on Object-Oriented Technology
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
Compatibility of e -Services in a Cooperative Multi-platform Environment
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
Adapting Components with Mismatching Behaviours
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Model, Notation, and Tools for Verification of Protocol-Based Components Assembly
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
A Dependency Markup Language for Web Services
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
Towards a Foundation of Component-Oriented Software Reference Models
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
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
Towards specifying constraints for object-oriented frameworks
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
On the Behavioral Inheritance of State-Based Objects
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Life-cycle inheritance in concurrent object-oriented systems
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
Extending a Component Specification Language with Time
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioural Types for Service Integration: Achievements and Challenges
Electronic Notes in Theoretical Computer Science (ENTCS)
Safety Properties In Petri Net Modules
Journal of Integrated Design & Process Science
Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular session types for distributed object-oriented programming
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Property-preserving evolution of components using VPA-based aspects
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Session types for orchestration charts
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Model Checking of Component Protocol Conformance -- Optimizations by Reducing False Negatives
Electronic Notes in Theoretical Computer Science (ENTCS)
An Algebra of Behavioural Types
Information and Computation
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
Achieving fault tolerance by a formally validated interaction policy
Rigorous Development of Complex Fault-Tolerant Systems
Refinement and consistency in component models with multiple views
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Formally based modeling and inheritance of behaviour in object-oriented systems
Journal of Systems and Software
Typing model transformations using tracts
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Typing the Behavior of Software Components using Session Types
Fundamenta Informaticae
Protocol conformance checking of services with exceptions
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
| Hi-index | 0.00 |