On 20 Oct 2005, at 03:24, Alan Grover wrote:
Twan Basten and others at Eindhoven had a lot to say about "inheritance of behaviour". Can mail you copy of their paper if you like. It's based on their own process algebra and runs to 84 pages (600kb).On 10/18/05, Koehne Kai <Kai.Koehne@xxxxxxxxxxxxxxxxxxxxxxxxxx> wrote:Regarding inheritance, most OO languages do not enforce that the dynamic behaviour of an object of the extended class in any way extends the behaviour of an object of the base class. For me it is still unclear how a "correct" extension of a dynamic behaviour should be defined, anyway ...But if you decide to explore that, I for one would like to read the paper! :)
Ian East