1 research outputs found
Relating coalgebraic notions of bisimulation
- Author
- A. Carboni G. M. Kelly, and M. C. Pedic
- A. Carboni S. Lack, and R. F. C. Walter
- A. Joyal and I. Moerdijk
- Alexander Kurz
- B. Jacobs and J. Rutten
- B. Klin
- B. van den Berg and F. De Marchi
- C. Hermida and B. Jacobs
- C. Kupke A. Kurz, and Y. Venema
- D. Sangiorgi
- E. P. \SortNoop{Vink}de Vink and J.
- F. Bartels A. Sokolova, and E. P. de Vi
- F. Gadducci M. Miculan, and U. Montanar
- H. P. Gumm
- H. P. Gumm and T. Schröder
- J. Adámek
- J. J. M. M. Rutten
- J. Worrell
- L. S. Moss
- M. P. Fiore and S. Staton
- N. Bezhanishvili G. Fontaine, and Y. Ve
- P. C. Kanellakis and S. A. Smolka
- P. Freyd
- P. Johnstone J. Power, T. Tsujishita, H
- R. Milner
- R. Milner J. Parrow, and D. Walker
- S. Awodey
- Sam Staton
- T. Libert and O. Esser
- V. Danos J. Desharnais, F. Laviolette,
- Publication venue
- 'Logical Methods in Computer Science e.V.'
- Publication date
- Field of study