Dynamical Systems, 1927. ,
DOI : 10.1090/coll/009
Handbook of Modal Logic. eBook, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00580143
Duality for Logics of Transition Systems, FoSSaCS. Ed. by V. Sassone. Lecture Notes in Computer Science, vol.3441, pp.455-469, 2005. ,
DOI : 10.1007/978-3-540-31982-5_29
A calculus of durations, Information Processing Letters, vol.40, issue.5, pp.269-276, 1991. ,
DOI : 10.1016/0020-0190(91)90122-X
Modal Logics are Coalgebraic, The Computer Journal, vol.54, issue.1, pp.128-140, 2008. ,
DOI : 10.1093/comjnl/bxp004
Object-oriented hybrid systems of coalgebras plus monoid actions, Theoretical Computer Science, vol.239, issue.1, pp.41-95, 2000. ,
DOI : 10.1016/S0304-3975(99)00213-3
Coalgebraic semantics of modal logics: An overview, Theoretical Computer Science, vol.412, issue.38, 2011. ,
DOI : 10.1016/j.tcs.2011.04.023
Coalgebraic logic, Annals of Pure and Applied Logic, vol.96, issue.1-3, pp.1-3, 1999. ,
DOI : 10.1016/S0168-0072(98)00042-6
Expressivity Results in the Modal Logic of Coalgebras, 2001. ,
Semantical Considerations on Floyd?Hoare Logic, Proc. 17th Annual IEEE Symposium on Foundations of Computer Science, pp.109-121, 1976. ,
DOI : 10.1109/sfcs.1976.27
Universal coalgebra: a theory of systems, Theoretical Computer Science, vol.249, issue.1, pp.3-80, 2000. ,
DOI : 10.1016/S0304-3975(00)00056-6
Hyperstream processing systems: nonstandard modeling of continuous-time signals, pp.417-430, 2013. ,
DOI : 10.1145/2429069.2429120
Temporal Logic The Blackwell Guide to Philosophical Logic, 2001. ,