Export 1 results:
Filters: Author is D. T. Sannella  [Clear All Filters]
J. E. Hannay, S. -. Y. Katsumata and D. T. Sannella. Semantic and Syntactic Approaches to Simulation Relations In Mathematical Foundations of Computer Science. Proceedings of MFCS, 28th International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovak Republic, LNCS volume 2747. Lecture Notes in Computer Science. Springer-Verlag, 2003.PDF icon SE.5.Hannay.2003.c.pdf (277.15 KB)