Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 28
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
Model checking with compositional quotient structures 1-gen-2001 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
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
Timing in the Cospan-Span Model 1-gen-2004 Cherubini, A.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Compositional minimization in Span(Graph):Some examples 1-gen-2004 P., Katis; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Minimization and minimal realization in Span(Graph) 1-gen-2004 Rosebrugh, R.; 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
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
Frobenius Objects in Cartesian Bicategories 1-gen-2008 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
The parallel composition of processes 1-gen-2008 de Francesco Albasini, L.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Systems with discrete geometry 1-gen-2008 de Francesco Albasini, L.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Mostrati risultati da 1 a 20 di 28
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