Subject
Computer Science Applications,General Mathematics,Software
Reference29 articles.
1. M. Abadi and L. Cardelli,A Theory of Objects. Springer,Monogr. Comput. Sci.(1996).
2. P. America, Inheritance and Subtyping in a Parallel Object-Oriented Language, inECOOP'87, edited by J. Bezivinet al.. Springer,Lecture Notes in Comput. Sci.276(1987) 232-242.
3. P. America, Designing an Object-Oriented Languages with Behavioural Subtyping, inFoundations of Object Oriented Languages, edited by J.W. de Bakkeret al.. Springer,Lecture Notes in Comput. Sci.489(1991) 60-90.
4. H. Bowman, C. Briscoe-Smith, J. Derrick and B. Strulo, On Behavioural Subtyping in LOTOS, inFMOODS'97, Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, edited by H. Bowman and J. Derrick. Chapman and Hall (1997) 335-351.
5. On Binary Methods
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Components as coalgebras: The refinement dimension;Theoretical Computer Science;2006-02
2. A Perspective on Component Refinement;Formal Methods for Components and Objects;2005
3. On Refinement of Generic State-Based Software Components;Algebraic Methodology and Software Technology;2004