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

302 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
928 S.: Categories for the Working Mathematician – Mac Lane - 1998
135 Towards a Mathematical Operational Semantics – Daniele Turi, Gordon Plotkin - 1997
39 On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling – Falk Bartels - 2004
3242 Communication and Concurrency – R Milner - 1989
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
1297 A Structural Approach to Operational Semantics – G. D. Plotkin - 1981
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
24 Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads – Marina Lenisa, John Power, Hiroshi Watanabe - 2000