WALTERS, ROBERT FRANK CARSLAW
WALTERS, ROBERT FRANK CARSLAW
DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA
A formalization of the IWIM model
2000-01-01 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
A process algebra for the Span(Graph) model of concurrency
2008-01-01 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
A universal property of the monoidal 2-category of cospans of ordinals and surjections
2007-01-01 M., Menni; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
An algebra of automata which includes both classical and quantum entities
2011-01-01 de Francesco Albasini, L.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Bicategories of Spans as cartesian bicategories
2010-01-01 Stephen, Lack; Walters, ROBERT FRANK CARSLAW; R. J., Wood
Blocked-Braid Groups
2015-01-01 Maglia, Davide; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Calculating colimits compositionally
2008-01-01 Rosebrugh, R; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Calculating Colimits Compositionally
2008-01-01 Rosebrugh, R; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Cartesian bicategories II
2008-01-01 Carboni, Aurelio; Kelly, G. M.; Walters, ROBERT FRANK CARSLAW; Wood, R. J.
Comparing Cospans-Spans and Tiles via a Hoare Style process calculus
2001-01-01 Gadducci, F.; Katis, P.; Montanari, U.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Compositional minimization in Span(Graph):Some examples
2004-01-01 P., Katis; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Computing left Kan extensions
2003-01-01 Bush, M. R.; Leeming, M.; Walters, ROBERT FRANK CARSLAW
Feedback, trace and fixed-point semantics
2002-01-01 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Frobenius Objects in Cartesian Bicategories
2008-01-01 Walters, ROBERT FRANK CARSLAW; R. J., Wood
Frobenius Objects in Cartesian Bicategories
2008-01-01 Walters, ROBERT FRANK CARSLAW
Generic commutative separable algebras and cospans of graphs
2005-01-01 R., Rosebrugh; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Hierarchical automata and P systems
2003-01-01 Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Minimization and minimal realization in Span(Graph)
2004-01-01 Rosebrugh, R.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Model checking with compositional quotient structures
2001-01-01 Katis, P; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
On the algebra of feedback and systems with boundary
2000-01-01 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A formalization of the IWIM model | 1-gen-2000 | Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
A process algebra for the Span(Graph) model of concurrency | 1-gen-2008 | Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
A universal property of the monoidal 2-category of cospans of ordinals and surjections | 1-gen-2007 | M., Menni; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
An algebra of automata which includes both classical and quantum entities | 1-gen-2011 | de Francesco Albasini, L.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Bicategories of Spans as cartesian bicategories | 1-gen-2010 | Stephen, Lack; Walters, ROBERT FRANK CARSLAW; R. J., Wood | |
Blocked-Braid Groups | 1-gen-2015 | Maglia, Davide; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Calculating colimits compositionally | 1-gen-2008 | Rosebrugh, R; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Calculating Colimits Compositionally | 1-gen-2008 | Rosebrugh, R; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Cartesian bicategories II | 1-gen-2008 | Carboni, Aurelio; Kelly, G. M.; Walters, ROBERT FRANK CARSLAW; Wood, R. J. | |
Comparing Cospans-Spans and Tiles via a Hoare Style process calculus | 1-gen-2001 | Gadducci, F.; Katis, P.; Montanari, U.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Compositional minimization in Span(Graph):Some examples | 1-gen-2004 | P., Katis; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Computing left Kan extensions | 1-gen-2003 | Bush, M. R.; Leeming, M.; Walters, ROBERT FRANK CARSLAW | |
Feedback, trace and fixed-point semantics | 1-gen-2002 | Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Frobenius Objects in Cartesian Bicategories | 1-gen-2008 | Walters, ROBERT FRANK CARSLAW; R. J., Wood | |
Frobenius Objects in Cartesian Bicategories | 1-gen-2008 | Walters, ROBERT FRANK CARSLAW | |
Generic commutative separable algebras and cospans of graphs | 1-gen-2005 | R., Rosebrugh; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Hierarchical automata and P systems | 1-gen-2003 | Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Minimization and minimal realization in Span(Graph) | 1-gen-2004 | Rosebrugh, R.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Model checking with compositional quotient structures | 1-gen-2001 | Katis, P; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
On the algebra of feedback and systems with boundary | 1-gen-2000 | Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW |