Coalg_{KPF}: Towards a Coalgebraic Calculus for component-Based Systems
| Citations: | 2 - 0 self |
BibTeX
@MISC{Meng_coalg_{kpf}:towards,
author = {Sun Meng and Bernhard K. Aichernig},
title = {Coalg_{KPF}: Towards a Coalgebraic Calculus for component-Based Systems},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Coalgebras of Kripke Polynomial Functors have been widely used in modelling various kinds of systems. In this paper, we give a category Coalg KPF which consists of coalgebras of KPFs. Then we present a set of constructions like sequential and parallel composition in a subcategory of Coalg KPF for a restricted family of KPFs by exploiting the canonical operations in category theory. A family of algebraic laws for the properties being satisfied by these operations is provided. Sun Meng is a Fellow at UNU/IIST on leave from the School of Mathematical Science of Beijing University, China, where he is a Ph.D candidate. His research interest include category theory, coalgebra theory, Object-Oriented method, formal method in software development, and formal semantics for modeling languages. His email address is sm@iist.unu.edu.
Citations
| 164 | Toposes, Triples and Theories - Barr, Wells - 1985 |
| 119 | Handbook of categorical algebra - Borceux - 1994 |
| 105 | Finite Transition Systems - Arnold - 1994 |
| 15 | Components as Coalgebras - Barbosa - 2000 |
| 14 | Components as processes: An exercise in coalgebraic modeling - Barbosa - 2000 |
| 11 | Category Theory for Computing Science, third edition, Centre de Recherches Mathématiques - Barr, Wells - 1999 |
| 4 | Coalgebraic structures in program construction - Barbosa - 2002 |
| 3 | Coinductive Interpreters for Process Calculi - Barbosa, Oliveira - 2002 |
| 1 | rstea. An algebra-coalgebra framework for system specification - C |
