Author:
Bonsangue Marcello M.,Hansen Helle Hvid,Kurz Alexander,Rot Jurriaan
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Aceto, L., Fokkink, W., Verhoef, C.: Structural operational semantics. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 197–292. Elsevier (2001)
2. Bartels, F.: On Generalised Coinduction and Probabilistic Specification Formats. Ph.D. thesis, Vrije Universiteit Amsterdam (2004)
3. Hansen, H., Klin, B.: Pointwise extensions of GSOS-defined operations. Math. Struct. in Comp. Sci. 21, 321–361 (2011)
4. Lecture Notes in Computer Science;B. Jacobs,2006
5. Jacobs, B.: Introduction to coalgebra. towards mathematics of states and observations. version 2.0 (2012) (unpublished book draft)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. No Go Theorems: Directed Containers That Do Not Distribute Over Distribution Monads;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. No-Go Theorems for Distributive Laws;Logical Methods in Computer Science;2022-01-19
3. Canonical Automata via Distributive Law Homomorphisms;Electronic Proceedings in Theoretical Computer Science;2021-12-29
4. Bialgebraic foundations for the operational semantics of string diagrams;Information and Computation;2021-12
5. A Coalgebraic Approach to Unification Semantics of Logic Programming;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019