A process-algebraic approach to life-cycle inheritance : inheritance = encapsulation =+ abstraction
A process-algebraic approach to life-cycle inheritance : inheritance = encapsulation =+ abstraction / T. Basten, W.M.P. van der Aalst