Robert F. C. Walters

According to our database, Robert F. C. Walters authored at least 28 papers between 1992 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

On the geometry and algebra of networks with state.

Nicoletta Sabadini, Filippo Schiavio, Robert F. C. Walters

Theor. Comput. Sci., 2017

2015

Blocked-Braid Groups.

D. Maglia, Nicoletta Sabadini, Robert F. C. Walters

Appl. Categorical Struct., 2015

2011

The compositional construction of Markov processes II.

Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters

RAIRO Theor. Informatics Appl., 2011

Tangled Circuits

Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters

CoRR, 2011

The Compositional Construction of Markov Processes.

Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters

Appl. Categorical Struct., 2011

2009

An Algebra of Automata That Includes Both Classical and Quantum Entities.

Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

An algebra of automata which includes both classical and quantum entities

Luisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters

CoRR, 2009

2008

Calculating Colimits Compositionally.

Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters

Proceedings of the Concurrency, 2008

2004

Minimisation and minimal realisation in Span(Graph).

Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters

Math. Struct. Comput. Sci., 2004

2003

Computing left Kan extensions.

Michael R. Bush, M. Leeming, Robert F. C. Walters

J. Symb. Comput., 2003

Hierarchical Automata and P-systems.

Nicoletta Sabadini, Robert F. C. Walters

Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

Compositional Minimization in Span(Graph): Some Examples.

Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

Timing in the Cospan-Span Model.

Alessandra Cherubini, Nicoletta Sabadini, Robert F. C. Walters

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

2002

Feedback, trace and fixed-point semantics.

Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters

RAIRO Theor. Informatics Appl., 2002

2001

Comparing cospan-spans and tiles via a Hoare-style process calculus.

Fabio Gadducci, Piergiulio Katis, Ugo Montanari, Nicoletta Sabadini, Robert F. C. Walters

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

2000

On Automata with Boundary

R. Gates, Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters

CoRR, 2000

A Formalization of the IWIM Model.

Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

1998

Minimal Realization in Bicategories of Automata.

Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters

Math. Struct. Comput. Sci., 1998

1997

Representing Place/Transition Nets in Span(Graph).

Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters

Proceedings of the Algebraic Methodology and Software Technology, 1997

Span(Graph): A Categorial Algebra of Transition Systems.

Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

A Note on Recursive Functions.

Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters

Math. Struct. Comput. Sci., 1996

Matrices, machines and behaviors.

Stephen L. Bloom, Nicoletta Sabadini, Robert F. C. Walters

Appl. Categorical Struct., 1996

1995

The Todd-Coxeter Procedure and Left Kan Extensions.

S. Carmody, M. Leeming, Robert F. C. Walters

J. Symb. Comput., 1995

Fix-point Semantics for Programs in Distributive Categories.

Eric G. Wagner, Wafaa Khalil, Robert F. C. Walters

Fundam. Informaticae, 1995

1993

An Imperative Language Based on Distributive Categories II.

Wafaa Khalil, Robert F. C. Walters

RAIRO Theor. Informatics Appl., 1993

Coinverters and categories of fractions for categories with structure.

G. M. Kelly, Stephen Lack, Robert F. C. Walters

Appl. Categorical Struct., 1993

A Notion of Refinement for Automata.

Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

An Imperative Language Based on Distributive Categories.

Robert F. C. Walters

Math. Struct. Comput. Sci., 1992