Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Abramsky, S.: Big toy models: Representing physical systems as Chu spaces. CoRR abs/0910.2393 (2009)
2. Abramsky, S.: Coalgebras, Chu spaces, and representations of physical systems. In: LICS, pp. 411–420. IEEE Computer Society (2010)
3. Kurz, A., Pattinson, D.: Notes on coalgebras, cofibrations and concurrency. Electr. Notes Theor. Comput. Sci. 33, 196–229 (2000)
4. Kurz, A., Pattinson, D.: Coalgebras and modal logic for parameterized endofunctors. Technical Report SEN-R0040, CWI (2000)
5. Pattinson, D.: Coalgebraic modal logic, soundness, completeness and decidability of local consequence. Theoretical Computer Science 309, 177–193 (2003)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fibred Coalgebraic Logic and Quantum Protocols;Electronic Proceedings in Theoretical Computer Science;2014-12-27