2 search results - page 1 / 1 » Notes on Coalgebras, Cofibrations and Concurrency |
ENTCS
2000
13 years 4 months ago
2000
We consider categories of coalgebras as (co)-fibred over a base category of parameters and analyse categorical constructions in the total category of deterministic and non-determi...
IANDC
2006
13 years 4 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...