Ole-Johan Dahl;Kristen Nygaard
Norwegian Computing Center, Oslo, Norway;Norwegian Computing Center, Oslo, Norway
A dynamic binding strategy for multiple inheritance and asynchronously communicating objects
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects