Relating coalgebraic notions of bisimulation with applications to name-passing process calculi (extended abstract)

Relating coalgebraic notions of bisimulation with applications to name-passing process calculi (extended abstract)

Cached

Download Links

[www.cl.cam.ac.uk]

by Sam Staton

Citations:

1 - 0 self

BibTeX

@MISC{Staton_relatingcoalgebraic,
    author = {Sam Staton},
    title = {Relating coalgebraic notions of bisimulation with applications to name-passing process calculi (extended abstract)},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

1225	A calculus of communicating systems - Milner - 1980
933	A calculus of mobile processes - Milner, Parrow, et al. - 1992
367	The ⇡-calculus: A Theory of Mobile Processes - Sangiorgi, Walker - 2001
294	Calculi for synchrony and asynchrony - Milner - 1983
279	Universal coalgebra: a theory of systems - Rutten - 2000
213	A tutorial on (co)algebras and (co)induction - Jacobs, Rutten - 1997
174	A new approach to abstract syntax with variable binding. Formal Aspects of Computing 13 - GABBAY, PITTS - 2001
156	N.: A Final Coalgebra Theorem - Aczel, Mendler - 1989
119	Handbook of categorical algebra - Borceux - 1994
118	Sketches of an elephant: a topos theory compendium - Johnstone - 2002
115	A domain equation for bisimulation - Abramsky - 1991
85	R.F.C.Walters. Introduction to extensive and distributive categories - Carboni, Lack - 1993
69	Bisimulation for probabilistic transition systems: A coalgebraic approach - Vink, Rutten - 1999
56	Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads - Kelly, Power - 1993
55	Structural induction and coinduction in a fibrational setting - Hermida, Jacobs - 1998
55	Logics for Coalgebras and Applications to Computer Science - Kurz - 2001
40	Constructive versions of Tarski’s fixed point theorems - Cousot, Cousot - 1979
39	Aspects of topoi - Freyd - 1972
35	Algebraic Set Theory - Joyal, Moerdijk - 1995
33	A theory of bisimulation for the pi-calculus - Sangiorgi - 1996
25	M.: Minimizing transition systems for name passing calculi: A co-algebraic formulation - Ferrari, Montanari, et al. - 2002
21	Functors for coalgebras - Gumm
20	S.: Comparing operational models of name-passing process calculi - Fiore, Staton - 2006
18	A cook’s tour of the finitary non-well-founded sets - Abramsky - 2005
16	S.: A congruence rule format for name-passing process calculi from mathematical structural operational semantics - Fiore, Staton - 2006
16	Relators and metric bisimulations - Rutten - 1998
13	A 2-categorical approach to geometric morphisms - Carboni, Kelly, et al. - 1991
11	K.: A unifying model of variables and names - Miculan, Yemane - 2005
10	Adding recursive constructs to bialgebraic semantics - Klin - 2004
9	B.: Relationally staged computations in calculi of mobile processes - Ghani, Yemane, et al. - 2004
8	Bisimulation and cocongruence for probabilistic systems - Danos, Desharnais, et al.
7	On the structure of categories of coalgebras. Theoret - Johnstone, Power, et al. - 2001
7	On the final sequence of a finitary set functor - Worrell - 2005
6	General structural operational semantics through categorical logic - Staton - 2008
4	Models of non-well-founded sets via an indexed final coalgebra theorem. Accepted for publication in J. Symbolic Logic. Available from arXiv: math.LO/0508531 - Berg, Marchi - 2006
4	Name-Passing Process Calculi: Operational Models and Structural Operational Semantics - Staton - 2007
3	Introduction to coalgebra - Adámek
3	Nominal renaming sets - Gabbay, Hofmann - 2008
3	Bialgebraic semantics and recursion (extended abstract - Plotkin - 2001
2	Vietoris bisimulations - Bezhanishvili, Fontaine, et al.
2	An accessible approach to behavioural pseudometrics - Breugel, Hermida, et al. - 2005
2	Semantics of name and value passing (extended abstract - Fiore, Turi - 2001
2	A categorical model of the fusion calculus - Miculan - 2008
2	Final sequences and final coalgebras for measurable spaces - Viglizzo - 2005