Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. number 389 in Lect. Notes Comp. Sci.;P. Aczel,1989
2. M.A. Arbib and E.G. Manes. Parametrized data types do not need highly constrained parameters. Inf. & Contr., 52:139–158, 1982.
3. E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 997–998. Elsevier/MIT Press, 1990.
4. number 428 in Lect. Notes Comp. Sci.;J.A. Goguen,1990
5. J.A. Goguen and G. Malcolm. Proof of correctness of object representations. In A.W. Roscoe, editor, A Classical Mind. Essays in honour of C.A.R. Hoare, pages 119–142. Prentice Hall, 1994.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献