Author:
Degano P.,Gorrieri R.,Rosolini G.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. L. Aceto and M. Hennessy. Towards Action-Refinement in Process Algebras. In A. Meyer, editor, Proc. 4th Symposium in Logic in Computer Science, pages 138–145, Asilomar. I.E.E.E. Computer Society, 1989.
2. R. Back. A Calculus of refinements for program derivations. Acta Informatica, 25, 1988.
3. P. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.
4. K. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
5. T. Coquand, C. Gunter, and G. Winskel. Domain theoretic models of polymorphism. Inform. and Comput., 81:123–167, 1989.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Refinement of Generic State-Based Software Components;Algebraic Methodology and Software Technology;2004
2. Action refinement as an implementation relation;TAPSOFT '97: Theory and Practice of Software Development;1997
3. Dependency-based action refinement;Mathematical Foundations of Computer Science 1997;1997
4. A notion of refinement for automata;Algebraic Methodology and Software Technology (AMAST’93);1994