Towards a theory of mathematical operational semantics
暂无分享,去创建一个
[1] Reiko Heckel,et al. From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence , 1999, CMCS.
[2] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[3] 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.
[4] Marco Kick,et al. Bialgebraic Modelling of Timed Processes , 2002, ICALP.
[5] James Worrell,et al. Terminal sequences for accessible endofunctors , 1999, CMCS.
[6] Jirí Adámek,et al. On the Greatest Fixed Point of a Set Functor , 1995, Theor. Comput. Sci..
[7] G. M. Kelly,et al. Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads , 1993 .
[8] Gordon D. Plotkin,et al. Towards a mathematical operational semantics , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
[9] John Power,et al. Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads , 2000, CMCS.
[10] B. Jacobs,et al. A tutorial on (co)algebras and (co)induction , 1997 .
[11] Daniele Turi,et al. Semantics of name and value passing , 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
[12] John Power,et al. Combining a monad and a comonad , 2002, Theor. Comput. Sci..
[13] Falk Bartels,et al. GSOS for Probabilistic Transition Systems , 2002, CMCS.