Publication Date:
2008
abstract:
We show how finite limits and colimits can be calculated
compositionally using the algebras of spans and cospans, and give as an application a proof of the Kleene Theorem on regular languages.
compositionally using the algebras of spans and cospans, and give as an application a proof of the Kleene Theorem on regular languages.
Iris type:
Articolo in Volume
List of contributors:
Rosebrugh, R; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Book title:
Concurrency, Graphs and Models