D. Sannella
External collaborator
Publications
Simula-affiliated publications listed
2003
Proceedings, refereed
Read Semantic and Syntactic Approaches to Simulation Relations
J. E. Hannay, S. -. Katsumata and D. T. Sannella
Semantic and Syntactic Approaches to Simulation Relations
Mathematical Foundations of Computer Science. Proceedings of MFCS, 28th International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovak Republic, LNCS volume 2747