Robert F. C. Walters

30 papers C 1Journal 19Unranked 10
YearRankTypeTitle / Venue / Authors
2017 J jnl
On the geometry and algebra of networks with state.
Theor. Comput. Sci.
Nicoletta Sabadini, Filippo Schiavio, Robert F. C. Walters
2015 J jnl
Blocked-Braid Groups.
Appl. Categorical Struct.
D. Maglia, Nicoletta Sabadini, Robert F. C. Walters
2011 J jnl
Tangled Circuits
CoRR
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
2011 J jnl
The Compositional Construction of Markov Processes.
Appl. Categorical Struct.
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
2011 J jnl
The compositional construction of Markov processes II.
RAIRO Theor. Informatics Appl.
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
2009 — conf
An Algebra of Automata That Includes Both Classical and Quantum Entities.
QPL@MFPS
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
2009 J jnl
An algebra of automata which includes both classical and quantum entities
CoRR
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
2009 J jnl
The compositional construction of Markov processes
CoRR
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
2009 — conf
The compositional construction of Markov processes.
ICTCS
Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters
2008 — conf
Calculating Colimits Compositionally.
Concurrency, Graphs and Models
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
2004 J jnl
Minimisation and minimal realisation in Span(Graph).
Math. Struct. Comput. Sci.
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
2003 — conf
Compositional Minimization in Span(Graph): Some Examples.
COMETA
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
2003 J jnl
Computing left Kan extensions.
J. Symb. Comput.
Michael R. Bush, M. Leeming, Robert F. C. Walters
2003 — conf
Hierarchical Automata and P-systems.
CATS
Nicoletta Sabadini, Robert F. C. Walters
2003 — conf
Timing in the Cospan-Span Model.
COMETA
Alessandra Cherubini, Nicoletta Sabadini, Robert F. C. Walters
2002 J jnl
Feedback, trace and fixed-point semantics.
RAIRO Theor. Informatics Appl.
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
2001 — conf
Comparing cospan-spans and tiles via a Hoare-style process calculus.
TOSCA
Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters
2000 C conf
A Formalization of the IWIM Model.
COORDINATION
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
2000 J jnl
On Automata with Boundary
CoRR
R. Gates, Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
1998 J jnl
Minimal Realization in Bicategories of Automata.
Math. Struct. Comput. Sci.
Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters
1997 — conf
Representing Place/Transition Nets in Span(Graph).
AMAST
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
1997 — conf
Span(Graph): A Categorial Algebra of Transition Systems.
AMAST
Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters
1996 J jnl
A Note on Recursive Functions.
Math. Struct. Comput. Sci.
Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters
1996 J jnl
Matrices, machines and behaviors.
Appl. Categorical Struct.
Stephen L. Bloom, Nicoletta Sabadini, Robert F. C. Walters
1995 J jnl
Fix-point Semantics for Programs in Distributive Categories.
Fundam. Informaticae
Eric G. Wagner, Wafaa Khalil, Robert F. C. Walters
1995 J jnl
The Todd-Coxeter Procedure and Left Kan Extensions.
J. Symb. Comput.
S. Carmody, M. Leeming, Robert F. C. Walters
1993 — conf
A Notion of Refinement for Automata.
AMAST
Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters
1993 J jnl
An Imperative Language Based on Distributive Categories II.
RAIRO Theor. Informatics Appl.
Wafaa Khalil, Robert F. C. Walters
1993 J jnl
Coinverters and categories of fractions for categories with structure.
Appl. Categorical Struct.
G. M. Kelly, Stephen Lack, Robert F. C. Walters
1992 J jnl
An Imperative Language Based on Distributive Categories.
Math. Struct. Comput. Sci.
Robert F. C. Walters