Data di Pubblicazione:
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.
Tipologia CRIS:
Articolo in Volume
Elenco autori:
Rosebrugh, R; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Concurrency, Graphs and Models