Coalgebraic semantics for timed processes (2006)

Cached

Download Links

by Marco Kick , John Power , Alex Simpson
Venue:Inf. & Comp
Citations:8 - 1 self

Documents Related by Co-Citation

297 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
38 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
134 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
919 Categories for the working mathematician – Mac Lane, S - 1971
10 From Bialgebraic Semantics to Congruence Formats – Bartek Klin - 2005
24 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000
24 Introduction to Coalgebra. Towards Mathematics of States and Observations – Bart Jacobs - 2005
9 Category theory for operational semantics – M Lenisa, J Power, H Watanabe
14 Coalgebras and their logics – A Kurz - 2006
13 Testing semantics: connecting processes and process logics – Dusko Pavlovic, Michael Mislove, James B. Worrell - 2006
228 A Tutorial on (Co)Algebras and (Co)Induction – Bart Jacobs, Jan Rutten - 1997
3200 Communication and Concurrency – R Milner - 1989
3 Bialgebraic operational semantics and modal logic – B Klin - 2007
18 Trace Semantics for Coalgebras – Bart Jacobs - 2003
11 Generic forward and backward simulations – Ichiro Hasuo, Ichiro Hasuo - 2006
3388 Communicating Sequential Processes – C. A. R. Hoare - 1985
188 Toposes, Triples and Theories – Michael Barr, Charles Wells - 2005
112 Categorical Logic and Type Theory – B Jacobs - 1999