WALTERS, ROBERT FRANK CARSLAW

WALTERS, ROBERT FRANK CARSLAW  

DIPARTIMENTO DI SCIENZA E ALTA TECNOLOGIA  

Mostra records
Risultati 1 - 20 di 28 (tempo di esecuzione: 0.023 secondi).
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
Un approccio composizionale alla descrizione di sistemi complessi a rete 1-gen-2013 Maglia, Davide; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Bicategories of Spans as cartesian bicategories 1-gen-2010 Stephen, Lack; Walters, ROBERT FRANK CARSLAW; R. J., Wood
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