Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference9 articles.
1. A single complete rule for data refinement;Gardiner,1992
2. State-level and value-level simulations in data type refinement;Leal,2000
3. The behavior-realization adjunction and generalized homomorphic relations;Leavens;Theoret. Comput. Sci.,1997
4. A behavioral notion of subtyping;Liskov;ACM Trans. Program. Languages Systems,1994
5. Forward and backward simulations, Part I: Untimed systems;Lynch;Inform. and Comput.,1995
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献