Algebraic Laws for Process Subtyping
José Dihego‚ Pedro R. G. Antonino and Augusto Sampaio
Book Title
Formal Methods and Software Engineering − 15th International Conference on Formal Engineering Methods‚ ICFEM 2013‚ Queenstown‚ New Zealand‚ October 29 − November 1‚ 2013‚ Proceedings
Pages
4–19
Year
2013