An Imperative Language Based on Distributive Categories. - Robert F. C. Walters (Math. Struct. Comput. Sci., 1992)

A Notion of Refinement for Automata. - Nicoletta Sabadini; Sebastiano Vigna; Robert F. C. Walters (AMAST, 1993)

Coinverters and categories of fractions for categories with structure. - G. M. Kelly; Stephen Lack; Robert F. C. Walters (Appl. Categorical Struct., 1993)

An Imperative Language Based on Distributive Categories II. - Wafaa Khalil; Robert F. C. Walters (RAIRO Theor. Informatics Appl., 1993)

Fix-point Semantics for Programs in Distributive Categories. - Eric G. Wagner; Wafaa Khalil; Robert F. C. Walters (Fundam. Informaticae, 1995)

The Todd-Coxeter Procedure and Left Kan Extensions. - S. Carmody; M. Leeming; Robert F. C. Walters (J. Symb. Comput., 1995)

Matrices, machines and behaviors. - Stephen L. Bloom; Nicoletta Sabadini; Robert F. C. Walters (Appl. Categorical Struct., 1996)

A Note on Recursive Functions. - Nicoletta Sabadini; Sebastiano Vigna; Robert F. C. Walters (Math. Struct. Comput. Sci., 1996)

Span(Graph): A Categorial Algebra of Transition Systems. - Piergiulio Katis; Nicoletta Sabadini; Robert F. C. Walters (AMAST, 1997)

Representing Place/Transition Nets in Span(Graph). - Piergiulio Katis; Nicoletta Sabadini; Robert F. C. Walters (AMAST, 1997)

Minimal Realization in Bicategories of Automata. - Robert D. Rosebrugh; Nicoletta Sabadini; Robert F. C. Walters (Math. Struct. Comput. Sci., 1998)

A Formalization of the IWIM Model. - Piergiulio Katis; Nicoletta Sabadini; Robert F. C. Walters (COORDINATION, 2000)

On Automata with Boundary - R. Gates; Piergiulio Katis; Nicoletta Sabadini; Robert F. C. Walters (CoRR, 2000)

Comparing cospan-spans and tiles via a Hoare-style process calculus. - Fabio Gadducci; Piergiulio Katis; Ugo Montanari; Nicoletta Sabadini; Robert F. C. Walters (TOSCA, 2001)

Feedback, trace and fixed-point semantics. - Piergiulio Katis; Nicoletta Sabadini; Robert F. C. Walters (RAIRO Theor. Informatics Appl., 2002)

Timing in the Cospan-Span Model. - Alessandra Cherubini; Nicoletta Sabadini; Robert F. C. Walters (COMETA, 2003)

Compositional Minimization in Span(Graph): Some Examples. - Piergiulio Katis; Nicoletta Sabadini; Robert F. C. Walters (COMETA, 2003)

Hierarchical Automata and P-systems. - Nicoletta Sabadini; Robert F. C. Walters (CATS, 2003)

Computing left Kan extensions. - Michael R. Bush; M. Leeming; Robert F. C. Walters (J. Symb. Comput., 2003)

Minimisation and minimal realisation in Span(Graph). - Robert D. Rosebrugh; Nicoletta Sabadini; Robert F. C. Walters (Math. Struct. Comput. Sci., 2004)

Calculating Colimits Compositionally. - Robert D. Rosebrugh; Nicoletta Sabadini; Robert F. C. Walters (Concurrency, Graphs and Models, 2008)

An algebra of automata which includes both classical and quantum entities - Luisa de Francesco Albasini; Nicoletta Sabadini; Robert F. C. Walters (CoRR, 2009)

An Algebra of Automata That Includes Both Classical and Quantum Entities. - Luisa de Francesco Albasini; Nicoletta Sabadini; Robert F. C. Walters (QPL@MFPS, 2009)

The Compositional Construction of Markov Processes. - Luisa de Francesco Albasini; Nicoletta Sabadini; Robert F. C. Walters (Appl. Categorical Struct., 2011)

Tangled Circuits - Robert D. Rosebrugh; Nicoletta Sabadini; Robert F. C. Walters (CoRR, 2011)

The compositional construction of Markov processes II. - Luisa de Francesco Albasini; Nicoletta Sabadini; Robert F. C. Walters (RAIRO Theor. Informatics Appl., 2011)

Blocked-Braid Groups. - D. Maglia; Nicoletta Sabadini; Robert F. C. Walters (Appl. Categorical Struct., 2015)

On the geometry and algebra of networks with state. - Nicoletta Sabadini; Filippo Schiavio; Robert F. C. Walters (Theor. Comput. Sci., 2017)