| Автор | ROSEBRUGH, ROBERT |
| Автор | SABADINI, N. |
| Автор | WALTERS, R. F. C. |
| Дата выпуска | 1998 |
| dc.description | The context of this article is the programme to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The objective here is to study reachability, minimization and minimal realization in these bicategories. In this setting the automata are 1-cells, in contrast with previous studies where they appeared as objects. As a consequence, we are able to study the relation of minimization and minimal realization to serial composition of automata using (co)lax (co)monads. We are led to define suitable behaviour categories and prove minimal realization theorems that extend classical results. |
| Издатель | Cambridge University Press |
| Название | Minimal realization in bicategories of automata This work has been supported by NSERC Canada, Italian MURST and the Australian Research Council. |
| Electronic ISSN | 1469-8072 |
| Print ISSN | 0960-1295 |
| Журнал | Mathematical Structures in Computer Science |
| Том | 8 |
| Первая страница | 93 |
| Последняя страница | 116 |
| Аффилиация | ROSEBRUGH ROBERT; Mount Allison University |
| Аффилиация | SABADINI N.; Università di Milano |
| Аффилиация | WALTERS R. F. C.; School of Mathematics and Statistics, University of Sydney |
| Выпуск | 2 |
