Coalgebraic Trace Semantics via Forgetful Logics

1. Adámek, J., Bonchi, F., Hülsbusch, M., König, B., Milius, S., Silva, A.: A coalgebraic perspective on minimization and determinization. In: Birkedal, L. (ed.) FOSSACS 2012. LNCS, vol. 7213, pp. 58–73. Springer, Heidelberg (2012)

   Chapter  Google Scholar 

2. Bezhanishvili, N., Kupke, C., Panangaden, P.: Minimization via duality. In: Ong, L., de Queiroz, R. (eds.) WoLLIC 2012. LNCS, vol. 7456, pp. 191–205. Springer, Heidelberg (2012)

   Chapter  Google Scholar 

3. Bonchi, F., Bonsangue, M.M., Hansen, H.H., Panangaden, P., Rutten, J.J.M.M., Silva, A.: Algebra-coalgebra duality in Brzozowski’s minimization algorithm. ACM Trans. Comput. Log. 15(1), 3 (2014)

   Article  MathSciNet  Google Scholar 

4. Brzozowski, J.: Canonical regular expressions and minimal state graphs for definite events. Mathematical Theory of Automata 12, 529–561 (1962)

   Google Scholar 

5. Cîrstea, C.: From branching to linear time, coalgebraically. In: Procs. FICS 2013. EPTCS, vol. 126, pp. 11–27 (2013)

   Google Scholar 

6. Cîrstea, C.: A coalgebraic approach to linear-time logics. In: Muscholl, A. (ed.) FOSSACS 2014 (ETAPS). LNCS, vol. 8412, pp. 426–440. Springer, Heidelberg (2014)

   Chapter  Google Scholar 

7. Cîrstea, C., Pattinson, D.: Modular construction of modal logics. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 258–275. Springer, Heidelberg (2004)

   Chapter  Google Scholar 

8. Goncharov, S.: Trace semantics via generic observations. In: Heckel, R., Milius, S. (eds.) CALCO 2013. LNCS, vol. 8089, pp. 158–174. Springer, Heidelberg (2013)

   Chapter  Google Scholar 

9. Hasuo, I., Jacobs, B., Sokolova, A.: Generic trace semantics via coinduction. Log. Meth. Comp. Sci. 3(4) (2007)

   Google Scholar 

10. Hermida, C., Jacobs, B.: Structural induction and coinduction in a fibrational setting. Inf. and Comp. 145, 107–152 (1997)

    Article  MathSciNet  Google Scholar 

11. Jacobs, B.: Introduction to coalgebra. Towards mathematics of states and observations, Draft (2014)

    Google Scholar 

12. Jacobs, B., Silva, A., Sokolova, A.: Trace semantics via determinization. J. Comp. and Sys. Sci. (2014) (to appear)

    Google Scholar 

13. Jacobs, B., Sokolova, A.: Exemplaric expressivity of modal logics. J. Log. and Comput. 20(5), 1041–1068 (2010)

    Article  MATH  MathSciNet  Google Scholar 

14. Kissig, C., Kurz, A.: Generic trace logics. CoRR, abs/1103.3239 (2011)

    Google Scholar 

15. Klin, B.: Coalgebraic modal logic beyond sets. ENTCS 173, 177–201 (2007)

    Google Scholar 

16. Kupke, C., Pattinson, D.: Coalgebraic semantics of modal logics: An overview. Theor. Comput. Sci. 412(38), 5070–5094 (2011)

    Article  MATH  MathSciNet  Google Scholar 

17. Kurz, A., Milius, S., Pattinson, D., Schröder, L.: Simplified coalgebraic trace equivalence. CoRR, abs/1410.2463 (2014)

    Google Scholar 

18. Lenisa, M., Power, J., Watanabe, H.: Category theory for operational semantics. Theor. Comput. Sci. 327(1-2), 135–154 (2004)

    Article  MATH  MathSciNet  Google Scholar 

19. Lane, S.M.: Categories for the working mathematician, vol. 5. Springer (1998)

    Google Scholar 

20. Pavlovic, D., Mislove, M.W., Worrell, J.B.: Testing semantics: Connecting processes and process logics. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 308–322. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

21. Power, J., Turi, D.: A coalgebraic foundation for linear time semantics. ENTCS 29, 259–274 (1999)

    MathSciNet  Google Scholar 

22. Rutten, J.J.M.M.: Universal coalgebra: A theory of systems. Theor. Comput. Sci. 249(1), 3–80 (2000)

    Article  MATH  MathSciNet  Google Scholar 

23. Schröder, L., Pattinson, D.: Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. Math. Struct. in Comp. Sci. 21(2), 235–266 (2011)

    Article  MATH  Google Scholar 

24. Silva, A., Bonchi, F., Bonsangue, M.M., Rutten, J.J.M.M.: Generalizing determinization from automata to coalgebras. Log. Meth. Comp. Sci. 9(1) (2013)

    Google Scholar 

Download references