IRIS - Institutional Research Information System
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi dell’Insubria.

IRInSubria - Institutional Repository Insubria
IRInSubria raccoglie, conserva, documenta e dissemina le informazioni sulla produzione scientifica dell'Università degli Studi dell’Insubria anche ai fini della valutazione della ricerca.

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 66
Titolo Data di pubblicazione Autore(i) File
A universal property of categories of automata 1-gen-2002 Sabadini, Nicoletta; Walters, R. F. C.
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
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
Calculating colimits compositionally 1-gen-2008 Rosebrugh, R; 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
A process algebra for the Span(Graph) model of concurrency 1-gen-2008 Katis, P.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Calculating Colimits Compositionally 1-gen-2008 Rosebrugh, R; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
The Compositional Construction of Markov Processes II 1-gen-2011 Luisa de FRANCESCO, Albasini; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
The Compositional Construction of Markov Processes II 1-gen-2011 Luisa de Francesco, Albasini; Sabadini, Nicoletta; R. F. C., Walters
An algebra of automata which includes both classical and quantum entities 1-gen-2011 de Francesco Albasini, L.; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
Tangled Circuits 1-gen-2012 R., Rosebrugh; 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
Blocked-Braid Groups 1-gen-2015 Maglia, Davide; Sabadini, Nicoletta; Walters, ROBERT FRANK CARSLAW
On the geometry and algebra of networks with state 1-gen-2017 Sabadini, Nicoletta; Schiavio, F; Walters, ROBERT FRANK CARSLAW
Mostrati risultati da 41 a 60 di 66
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