Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,General Mathematics,Statistics and Probability
Reference11 articles.
1. A. Joyal, M. Nielsen, and C. Winskel, “Bisimulation from open maps,” Inf. Comput. 127, No. 2, 164-185 (1996).
2. G. L. Cattani and V. Sassone, “Higher dimensional transition systems,” In: 11th Annual IEEE Symp. Logic Comp. Sci., pp. 55–62, IEEE Comp. Soc. Press, Washington (1996).
3. M. Nielsen and A. Cheng, “Observing behaviour categorically,” Lect. Notes Comp. Sci. 1026, 263–278 (1995).
4. E. S. Oshevskaya, “Open maps bisimulations for higher dimensional automata models,” Lect. Notes Comp. Sci. 5699, 274–286 (2009).
5. T. Hune and M. Nielsen, “Bisimulation and open maps for timed transition systems,” Fundam. Inform. 38, 61–77 (1999).