Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. The existence of refinement mappings;Abadi;Theoret. Comput. Sci.,1991
2. J.R. Abrial, The B Book: Assigning Programs to Meanings, Cambridge University Press, Cambridge, 1996.
3. R.C. Backhouse, P.F. Hoogendijk, Elements of a relational theory of datatypes, in: B. Möller, H. Partsch, S. Schuman (Eds.), Formal Program Development, Springer Lecture Notes in Computer Science, Vol. 755, 1993, pp. 7–42.
4. Towards a calculus of state-based software components;Barbosa;J. Universal Comput. Sci.,2003
5. L.S. Barbosa, J.N. Oliveira, State-based components made generic, in: H.P. Gumm (Ed.), CMCS’03, Electronic Notes in Theoretical Computer Science, Vol. 82.1, 2003.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献