Author:
De Nicola Rocco,Montanari Ugo,Vaandrager Frits
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. P. Aczel (1988): Non-well-founded sets, CSLI Lecture Notes No.14, Stanford University.
2. A. Arnold & A. Dicky (1989): An algebraic characterization of transition system equivalences. Information and Computation 82, pp. 198–229.
3. J.C.M. Baeten & R.J. van Glabbeek (1987): Another look at abstraction in process algebra. In: Proceedings ICALP 87, Karlsruhe (Th. Ottman, ed.), LNCS 267, Springer-Verlag, pp. 84–94.
4. M.C. Browne, E.M. Clarke & O. Grumberg (1988): Characterizing finite Kripke structures in propositional temporal logic. Theoretical Computer Science 59(1,2), pp. 115–131.
5. I. Castellani (1987): Bisimulations and abstraction homomorphisms. Journal of Computer and System Sciences 34, pp. 210–235.
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献