Sfoglia per Autore WALTERS, ROBERT FRANK CARSLAW
On the algebra of feedback and systems with boundary
2000-01-01 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
A formalization of the IWIM model
2000-01-01 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
The compact closed bicategory of left adjoints
2001-01-01 Katis, P.; Walters, ROBERT FRANK CARSLAW
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
Model checking with compositional quotient structures
2001-01-01 Katis, P; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Feedback, trace and fixed-point semantics
2002-01-01 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Hierarchical automata and P systems
2003-01-01 Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Computing left Kan extensions
2003-01-01 Bush, M. R.; Leeming, M.; Walters, ROBERT FRANK CARSLAW
Minimization and minimal realization in Span(Graph)
2004-01-01 Rosebrugh, R.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Compositional minimization in Span(Graph):Some examples
2004-01-01 P., Katis; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Timing in the Cospan-Span Model
2004-01-01 Cherubini, A.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Generic commutative separable algebras and cospans of graphs
2005-01-01 R., Rosebrugh; 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
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
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.
Systems with discrete geometry
2008-01-01 de Francesco Albasini, L.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
The parallel composition of processes
2008-01-01 de Francesco Albasini, L.; 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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
On the algebra of feedback and systems with boundary | 1-gen-2000 | Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
A formalization of the IWIM model | 1-gen-2000 | Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
The compact closed bicategory of left adjoints | 1-gen-2001 | Katis, P.; Walters, ROBERT FRANK CARSLAW | |
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 | |
Model checking with compositional quotient structures | 1-gen-2001 | Katis, P; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Feedback, trace and fixed-point semantics | 1-gen-2002 | Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Hierarchical automata and P systems | 1-gen-2003 | Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Computing left Kan extensions | 1-gen-2003 | Bush, M. R.; Leeming, M.; Walters, ROBERT FRANK CARSLAW | |
Minimization and minimal realization in Span(Graph) | 1-gen-2004 | Rosebrugh, R.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Compositional minimization in Span(Graph):Some examples | 1-gen-2004 | P., Katis; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Timing in the Cospan-Span Model | 1-gen-2004 | Cherubini, A.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
Generic commutative separable algebras and cospans of graphs | 1-gen-2005 | R., Rosebrugh; 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 | |
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 | |
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. | |
Systems with discrete geometry | 1-gen-2008 | de Francesco Albasini, L.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW | |
The parallel composition of processes | 1-gen-2008 | de Francesco Albasini, L.; 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 |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile