Minimal Realization in Bicategories of Automata

The context of this article is the program 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 de ne suitable behaviour categories and prove minimal realization theorems which extend classical results. This work has been supported by NSERC Canada, ItalianMURST and the Australian Research Council 1 

• Type: Journal
• Year: 1998
• Where: MSCS
• Authors: Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
• Keywords: Feedback Operation, Minimal Realization, Monoidal Bicategories, MSCS 1998