Concepedia
Journal of Pure and Applied Algebra · 1997 · 72 citations · 5 references
EngineeringIndustrial EngineeringProcess ControlProcess AnalysisSystems EngineeringProcess CalculusSoftware DesignProcess Discovery
5
Traced monoidal categories
André Joyal, Ross Street, Dominic Verity · Mathematical Proceedings of the Cambridge Philosophical Society · 1996 · 493 citations
Traced Monoidal Categories, Abstract Algebra, Representation Theory +8
Notes on finite asynchronous automata
Wiesław Zielonka · RAIRO - Theoretical Informatics and Applications · 1987 · 287 citations · Full text
Cartesian bicategories I
A. Carboni, R. F. C. Walters · Journal of Pure and Applied Algebra · 1987 · 281 citations
Higher Category Theory, Categorical Model, Cartesian Bicategories +1
Mathematical foundations of computer science 1984
Computer-Aided Design · 1985 · 69 citations
Mathematical Programming, Computational Complexity Theory, Engineering +6
An imperative language based on distributive categories II
Wafaa Khalil, R. F. C. Walters · RAIRO - Theoretical Informatics and Applications · 1993 · 10 citations · Full text
Universal Imp, Engineering, Imperative Language +22