CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 31 a 60 di 170
Titolo Data di pubblicazione Autore(i) File
Specifying and verifying UML activity diagrams via graph transformations 1-gen-2004 Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio
Some characterization results for permutation algebras 1-gen-2004 Gadducci, Fabio; Miculan, M.; Montanari, UGO GIOVANNI ERASMO
Deriving Weak Bisimulation Congruences from Reduction Systems 1-gen-2005 Bruni, Roberto; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO; Sobocinski, P.
On term graphs as an adhesive category 1-gen-2005 Corradini, Andrea; Gadducci, Fabio
Observing reductions in nominal calculi via a graphical encoding of processes 1-gen-2005 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Graph processes with fusions: Concurrency by colimits, again 1-gen-2005 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
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
Enhancing constraints manipulation in semiring-based formalisms 1-gen-2006 Bistarelli, Stefano; Gadducci, Fabio
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
About permutation algebras, (pre)sheaves and named sets 1-gen-2006 Gadducci, Fabio; Miculan, M.; Montanari, UGO GIOVANNI ERASMO
Concurrent rewriting for graphs with equivalences 1-gen-2006 Baldan, Paolo; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Process bisimulation via a graphical encoding 1-gen-2006 Bonchi, Fabio; Gadducci, Fabio; König, Barbara
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
Inequational Deduction as Term Graph Rewriting 1-gen-2007 Corradini, Andrea; Gadducci, Fabio; Kahl, W; Koenig, B.
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
Graphical encoding of a spatial logic for the π-calculus 1-gen-2007 Gadducci, Fabio; Lluch Lafuente, Alberto
On the use of behavioural equivalences for web services' development 1-gen-2008 Bonchi, F; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio
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
Towards a Notion of Transaction in Graph Rewriting 1-gen-2008 Baldan, Paolo; Corradini, Andrea; Fernando, Dotti; Luciana, Foss; Gadducci, Fabio; Leila, Ribeiro
Ugo Montanari and friends 1-gen-2008 Gadducci, Fabio
Parallel and sequential independence for borrowed contexts 1-gen-2008 Bonchi, Filippo; Gadducci, Fabio; Heindel, Tobias
A calculus for team automata 1-gen-2008 ter Beek, M.; Gadducci, Fabio; Janssens, D.
A decentralized implementation of Mobile Ambients 1-gen-2008 Gadducci, Fabio; Monreale, Giacoma Valentina
A category of explicit fusions 1-gen-2008 Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
A term-graph syntax for algebras over multisets 1-gen-2008 Gadducci, Fabio
Mostra risultati da 31 a 60 di 170
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