Inheritance of behavior
- 1 March 2001
- journal article
- Published by Elsevier BV in The Journal of Logic and Algebraic Programming
- Vol. 47 (2), 47-145
- https://doi.org/10.1016/s1567-8326(00)00004-7
Abstract
No abstract availableKeywords
This publication has 45 references indexed in Scilit:
- Transformations and decompositions of netsPublished by Springer Science and Business Media LLC ,2006
- An efficient algorithm for branching bisimulation and stuttering equivalencePublished by Springer Science and Business Media LLC ,2005
- Branching bisimilarity is an equivalence indeed!Information Processing Letters, 1996
- On simulation, subtyping and substitutability in sequential object systemsFormal Aspects of Computing, 1995
- A behavioral notion of subtypingACM Transactions on Programming Languages and Systems, 1994
- Structural and behavioural views on OMT-classesPublished by Springer Science and Business Media LLC ,1994
- A note on inheritance and state machinesACM SIGSOFT Software Engineering Notes, 1993
- Refinement, conformance and inheritanceFormal Aspects of Computing, 1991
- Designing an object-oriented programming language with behavioural subtypingPublished by Springer Science and Business Media LLC ,1991
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987