CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 21 a 40 di 170
Titolo Data di pubblicazione Autore(i) File
GS·Λ theories: A syntax for higher-order graphs 1-gen-2002 Coccia, M.; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Normal forms for algebras of connections 1-gen-2002 Bruni, Roberto; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
AGILE: Software architecture for mobility 1-gen-2002 Andrade, L. F.; Baldan, P.; Baumeister, H.; Bruni, Roberto; Corradini, Andrea; De Nicola, R.; Fiadeiro, J. L.; Gadducci, Fabio; Gnesi, S.; Hoffman, P.; Koch, N.; Kosiuczenko, P.; Lapadula, A.; Latella, D.; Lopes, A.; Loreti, M.; Massink, M.; Mazzanti, F.; Montanari, UGO GIOVANNI ERASMO; Oliveira, C.; Pugliese, R.; Tarlecki, A.; Wermelinger, M.; Wirsing, M.; Zawlocki, A.
A causal semantics for CCS via rewriting logic 1-gen-2002 Degano, Pierpaolo; Gadducci, Fabio; Priami, C.
Comparing logics for rewriting: rewriting logic, action calculi and tile logic 1-gen-2002 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Rewriting Logic and its Applications, 4th International Workshop (WRLA 2002) 1-gen-2002 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
A functorial semantics for multi-algebras and partial algebras, with applications to syntax 1-gen-2002 Corradini, Andrea; Gadducci, Fabio
Term graph rewriting for the π-calculus 1-gen-2003 Gadducci, Fabio
Denotational testing semantics in coinductive form 1-gen-2003 Boreale, Michele; Gadducci, Fabio
Causality and replication in concurrent processes 1-gen-2003 Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado
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
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
On term graphs as an adhesive category 1-gen-2005 Corradini, Andrea; Gadducci, Fabio
Deriving Weak Bisimulation Congruences from Reduction Systems 1-gen-2005 Bruni, Roberto; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO; Sobocinski, P.
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
About permutation algebras, (pre)sheaves and named sets 1-gen-2006 Gadducci, Fabio; Miculan, M.; Montanari, UGO GIOVANNI ERASMO
Enhancing constraints manipulation in semiring-based formalisms 1-gen-2006 Bistarelli, Stefano; Gadducci, Fabio
Mostra risultati da 21 a 40 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