Modularity of Behaviours for Mathematical Operational Semantics
暂无分享,去创建一个
[1] James Worrell,et al. On the structure of categories of coalgebras , 2001, Theor. Comput. Sci..
[2] Gordon D. Plotkin,et al. Towards a mathematical operational semantics , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
[3] John Power,et al. Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads , 2000, CMCS.
[4] M. Barr,et al. Toposes, Triples and Theories , 1984 .
[5] Bart Jacobs,et al. Mongruences and Cofree Coalgebras , 1995, AMAST.
[6] G. M. Kelly,et al. Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads , 1993 .
[7] P. T. Johnstone,et al. TOPOSES, TRIPLES AND THEORIES (Grundlehren der mathematischen Wissenschaften 278) , 1986 .
[8] Michael Makkai,et al. Accessible categories: The foundations of categorical model theory, , 2007 .
[9] John Power. Towards a theory of mathematical operational semantics , 2003, CMCS.
[10] G. Kelly. A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on , 1980, Bulletin of the Australian Mathematical Society.
[11] F. Vaandrager,et al. A Comparison of Additivity Axioms in Timed Transition Systems. , 1993 .
[12] Marco Kick,et al. Bialgebraic Modelling of Timed Processes , 2002, ICALP.
[13] Wang Yi,et al. Real-Time Behaviour of Asynchronous Agents , 1990, CONCUR.
[14] Joseph Sifakis,et al. An Overview and Synthesis on Timed Process Algebras , 1991, CAV.
[15] S. Lack,et al. The formal theory of monads II , 2002 .
[16] James Worrell,et al. Terminal sequences for accessible endofunctors , 1999, CMCS.
[17] John Power,et al. Combining a monad and a comonad , 2002, Theor. Comput. Sci..
[18] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.