CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 30 di 170
Titolo Data di pubblicazione Autore(i) File
Relating Two Categorial Models of Term Rewriting 1-gen-1995 Corradini, Andrea; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
CPO Models for Infinite Term Rewriting 1-gen-1995 Corradini, Andrea; Gadducci, Fabio
Modal μ-types for processes 1-gen-1995 Miculan, M.; Gadducci, Fabio
Tiles, rewriting rules and CCS 1-gen-1996 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
A 2-Categorical Presentation of Term Graph Rewriting 1-gen-1997 Corradini, Andrea; Gadducci, Fabio
An inductive view of graph transformation 1-gen-1997 Gadducci, Fabio; Heckel, R.
CCS semantics via proved transition systems and rewriting logic 1-gen-1998 Degano, Pierpaolo; Gadducci, Fabio; Carabetta, G.
Normal forms for partitions and relations 1-gen-1998 Bruni, Roberto; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
A fully abstract model for graph-interpreted temporal logic 1-gen-1998 Gadducci, Fabio; Heckel, R.; Koch, M.
Functorial semantics for multi-algebras 1-gen-1998 Corradini, Andrea; Gadducci, Fabio
Axioms for contextual net processes 1-gen-1998 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Rational Term Rewriting 1-gen-1998 Corradini, Andrea; Gadducci, Fabio
A bi-categorical axiomatisation of concurrent graph rewriting 1-gen-1999 Gadducci, Fabio; Heckel, R.; Llabrés, M.
Rewriting on cyclic structures: Equivalence between the operational and the categorical description 1-gen-1999 Corradini, Andrea; Gadducci, Fabio
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories 1-gen-1999 Corradini, Andrea; Gadducci, Fabio
The tile model 1-gen-2000 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Comparing cospan-spans and tiles via a Hoare-style process calculus 1-gen-2001 Gadducci, Fabio; Katis, P.; Montanari, UGO GIOVANNI ERASMO; Sabadini, N.; Walters, R. F. C.
Some algebraic laws for spans 1-gen-2001 Bruni, Roberto; Gadducci, Fabio
A concurrent graph semantics for Mobile Ambients 1-gen-2001 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Categorical rewriting of term-like structures 1-gen-2001 Corradini, Andrea; Gadducci, Fabio
A causal semantics for CCS via rewriting logic 1-gen-2002 Degano, Pierpaolo; Gadducci, Fabio; Priami, C.
Rewriting Logic and its Applications, 4th International Workshop (WRLA 2002) 1-gen-2002 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.
Comparing logics for rewriting: rewriting logic, action calculi and tile logic 1-gen-2002 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Normal forms for algebras of connections 1-gen-2002 Bruni, Roberto; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
GS·Λ theories: A syntax for higher-order graphs 1-gen-2002 Coccia, M.; 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
Causality and replication in concurrent processes 1-gen-2003 Degano, Pierpaolo; Gadducci, Fabio; Priami, Corrado
Denotational testing semantics in coinductive form 1-gen-2003 Boreale, Michele; Gadducci, Fabio
Term graph rewriting for the π-calculus 1-gen-2003 Gadducci, Fabio
Mostra risultati da 1 a 30 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