Coalgebraic semantics for timed processes (2006)

Cached

Download Links

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

Active Bibliography

8 Bialgebraic Methods and Modal Logic in Structural Operational Semantics – Bartek Klin - 2007
5 Bialgebraic methods in structural operational semantics – Bartek Klin - 2007
4 Bialgebras for Structural Operational Semantics: an Introduction – Bartek Klin - 2011
1 GSOS for probabilistic transition systems (Extended Abstract) – Falk Bartels - 2002
13 GSOS for Probabilistic Transition Systems – Falk Bartels - 2002
2 Relating coalgebraic notions of bisimulation with applications to name-passing process calculi (extended abstract) – Sam Staton
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
24 Composing Monads Using Coproducts – Christoph Lüth, Neil Ghani - 2002
2 A 2-categories companion – Stephen Lack
17 Generic trace semantics via coinduction – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2007
DISTRIBUTIVE LAWS IN PROGRAMMING STRUCTURES – Ondrej Rypacek - 2009
13 A Study of Categories of Algebras and Coalgebras – Jesse Hughes, Dana Scott Co-chair, Jeremy Avigad - 2001
9 Notes on enriched categories with colimits of some class – G. M. Kelly, V. Schmitt
7 General structural operational semantics through categorical logic (Extended Abstract) – Sam Staton - 2008
14 The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads – Martin Hyland, John Power - 2007
Presheaf models for the π-calculus – Ian Stark - 1997
4 Completeness for algebraic theories of local state – Sam Staton
4 COPRODUCTS OF IDEAL MONADS – Neil Ghani, Tarmo Uustalu - 2004
7 On Property-Like Structures – G. M. Kelly, Stephen Lack - 1997