Semantic and Syntactic Approaches to Simulation Relations
- Authors
- J. E. Hannay, S. -. Katsumata and D. T. Sannella
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2003
- Journal
- Mathematical Foundations of Computer Science. Proceedings of MFCS, 28th International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovak Republic, LNCS volume 2747
- Publisher
- Springer-Verlag
- Notes
- Invited paper.
- Citation key
- 9399