CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 41 a 60 di 169
Titolo Data di pubblicazione Autore(i) File
Graph transactions as processes 1-gen-2006 Baldan, Paolo; Corradini, Andrea; Foss, Luciana; Gadducci, Fabio
Processes as formal power series: A coinductive approach to denotational semantics 1-gen-2006 Boreale, M.; Gadducci, Fabio
Graphical verification of a spatial logic for the π-calculus 1-gen-2006 Gadducci, Fabio; Lluch Lafuente, A.
Views on Designing Complex Architectures, 1st International Workshop (VODCA 2004) 1-gen-2006 ter Beek, M.; Gadducci, Fabio
A behavioural congruence for web services 1-gen-2007 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
Views on Designing Complex Architectures, Second International Workshop (VODCA 2006) 1-gen-2007 ter Beek, M.; Gadducci, Fabio
Inequational Deduction as Term Graph Rewriting 1-gen-2007 Corradini, Andrea; Gadducci, Fabio; Kahl, W; Koenig, B.
Graph rewriting for the π-calculus 1-gen-2007 Gadducci, Fabio
Modelling calculi with name mobility using graphs with equivalences 1-gen-2007 Baldan, P.; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Graphical encoding of a spatial logic for the π-calculus 1-gen-2007 Gadducci, Fabio; Lluch Lafuente, Alberto
Towards a Notion of Transaction in Graph Rewriting 1-gen-2008 Baldan, Paolo; Corradini, Andrea; Fernando, Dotti; Luciana, Foss; Gadducci, Fabio; Leila, Ribeiro
Compositional specification of web services via behavioural equivalence of nets: A case study 1-gen-2008 Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
A soft approach to multi-objective optimization 1-gen-2008 Bistarelli, Stefano; Gadducci, Fabio; Larrosa, Javier; Rollon, Emma
Parallel and sequential independence for borrowed contexts 1-gen-2008 Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias
A decentralized implementation of Mobile Ambients 1-gen-2008 Gadducci, Fabio; Monreale, Giacoma Valentina
A term-graph syntax for algebras over multisets 1-gen-2008 Gadducci, Fabio
A calculus for team automata 1-gen-2008 ter Beek, M.; Gadducci, Fabio; Janssens, D.
Ugo Montanari and friends 1-gen-2008 Gadducci, Fabio
Petri nets are dioids 1-gen-2008 Baldan, Paolo; Gadducci, Fabio
On the use of behavioural equivalences for web services' development 1-gen-2008 Bonchi, F; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
Mostra risultati da 41 a 60 di 169
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