Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 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.
Axioms for contextual net processes 1-gen-1998 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
CCS semantics via proved transition systems and rewriting logic 1-gen-1998 Degano, Pierpaolo; Gadducci, Fabio; Carabetta, G.
Rational Term Rewriting 1-gen-1998 Corradini, Andrea; Gadducci, Fabio
Functorial semantics for multi-algebras 1-gen-1998 Corradini, Andrea; Gadducci, Fabio
A fully abstract model for graph-interpreted temporal logic 1-gen-1998 Gadducci, Fabio; Heckel, R.; Koch, M.
Normal forms for partitions and relations 1-gen-1998 Bruni, Roberto; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories 1-gen-1999 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
The tile model 1-gen-2000 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Categorical rewriting of term-like structures 1-gen-2001 Corradini, Andrea; Gadducci, Fabio
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
Mostra risultati da 1 a 20 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