Author:
Zhan Naijun,Majster-Cederbaum Mila
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference57 articles.
1. The existence of refinement mappings;Abadi;Theoretical Computer Science,1991
2. Composing specifications;Abadi;ACM Transactions on Programming Languages and Systems,1993
3. A logical view of composition and refinement;Abadi;Theoretical Computer Science,1993
4. L. Aceto, M. Hennessy, Towards action refinement in process algebra, in: Proceedings of LICS’89, 1989, pp. 138–145.
5. Termination, deadlock, and divergence;Aceto;Journal of ACM,1992