On the structure of categories of coalgebras

Authors:
Peter Johnstone;John Power;Toru Tsujishita;Hiroshi Watanabe;James Worrell
Affiliations:
Univ. of Cambridge, Cambridge, UK;Univ. of Edinburgh, Scotland, UK;Hokkaido Univ., Japan;Electrotechnical Lab., Tsukuba, Japan;Oxord Univ., Oxford, UK
Venue:
Theoretical Computer Science
Year:
2001

On Specification Logics for Algebra-Coalgebra Structures: Reconciling Reachability and Observability

FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
Distributivity of categories of coalgebras

Theoretical Computer Science
On coalgebra based on classes

Theoretical Computer Science - Logic, semantics and theory of programming
Category theory for operational semantics

Theoretical Computer Science - Selected papers of CMCS'03
A note on coalgebras and presheaves

Mathematical Structures in Computer Science
Coalgebraic semantics for timed processes

Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Recursively defined metric spaces without contraction

Theoretical Computer Science
A Categorical Model of the Fusion Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Modularity of Behaviours for Mathematical Operational Semantics

Electronic Notes in Theoretical Computer Science (ENTCS)
Coalgebraic semantics for timed processes

Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Relating coalgebraic notions of bisimulation: with applications to name-passing process calculi

CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science

Hi-index	5.23