Found 7 Documents (Results 1–7)
Healthiness from duality. (English) Zbl 1401.68042
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 682-691 (2016).
Dagger categories of tame relations. (English) Zbl 1294.68107
Reviewer: Ernst-Erich Doberkat (Dortmund)
Coalgebraic trace semantics for combined possibilitistic and probabilistic systems. (English) Zbl 1279.68232
Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 131-152 (2008).
Filter Results by …
Document Type
- Journal Articles (5)
- Collection Articles (2)
all
top 5
Author
- Jacobs, Bart (7)
- Bonsangue, Marcello Maria (1)
- Furber, Robert W. J. (1)
- Hasuo, Ichiro (1)
- Hino, Wataru (1)
- Kobayashi, Hiroki (1)
- Kok, Joost N. (1)
- Mandemaker, Jorik (1)