Inheritance as an incremental modification mechanism or what like is and isn'tlike
on ECOOP '88 (European Conference on Object-Oriented Programming)
Three discussions on object-oriented typing
ACM SIGPLAN OOPS Messenger
Understanding DCE
Theoretical Computer Science
Guide to writing DCE applications (2nd ed.)
Guide to writing DCE applications (2nd ed.)
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Regular types for active objects
Object-oriented software composition
COM and DCOM: Microsoft's vision for distributed objects
COM and DCOM: Microsoft's vision for distributed objects
On behavioural subtyping in LOTOS
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Service Trading Using Conceptual Structures
ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
A New Definition of the Subtype Relation
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
A Determinizable Class of Timed Automata
CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Hi-index | 0.00 |