[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: OO vs. CSP - Papers, Arguments?
Thank you, I would like that.
On 10/20/05, Ian East <ian.east@xxxxxxxxxxxxx> wrote:
On 20 Oct 2005, at 03:24, Alan Grover wrote:
> 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! :)
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