Minimal Realization in Bicategories of Automata (1998)

Cached

Download Links

by Robert Rosebrugh , N. Sabadini , R. F. C. Walters
Venue:Math. Structures in Computer Science
Citations:4 - 1 self

Active Bibliography

On Categories of Asynchronous Circuits – N. Sabadini, R.F.C. Walters, Henry Weld - 1994
Towards an Efficient Implementation of Distributive Programs – Sebastiano Vigna - 1997
1 Specifying IMP(G) Using ASF+SDF: A Case Study – Sebastiano Vigna - 1995
3 On the Algebra of Feedback and Systems With Boundary – Piergiulio Katis, N. Sabadini, R.F.C. Walters - 1998
3 INTERCONNECTION OF PROBABILISTIC SYSTEMS – Paulo Alexandre Carreira Mateus - 2000
unknown title – L. De Francesco Albasini, N. Sabadini, R. F. C. Walters - 2009
26 A survey on real structural complexity theory – C. Michaux - 1997
On the Algebra of Systems With Boundary – Piergiulio Katis, N. Sabadini, R.F.C. Walters
6 On the relations between distributive computability and the BSS model – Sebastiano Vigna
Van Kampen diagrams are bicolimits in Span – Tobias Heindel, Paweł Sobocinski
Van Kampen colimits as bicolimits in Span – Tobias Heindel, Paweł Sobocinski
8 Some Algebraic Laws for Spans (and Their Connections With Multi-Relations) – Roberto Bruni, Fabio Gadducci - 2001
18 A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting – Fabio Gadducci, Reiko Heckel, Mercé Llabrés - 1999
36 Reactive Systems over Cospans – Vladimiro Sassone, Pawel Sobocinski - 2005
Planar Finite Automata – Ivona Bezáková, Martin Pál - 1999
2 Algebra and language theory – P. M. Cohn - 1975
A Survey on Inductive Learning – Jalal Mahmud, Jalal Mahmud - 2005
The Relevance of Recognizable Sets – Anoop Sarkar - 1995
Minimal Unambiguous εNFA – Sebastian John - 2004