Sfoglia per Autore
Relating Two Categorial Models of Term Rewriting
1995-01-01 Corradini, Andrea; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Modal μ-types for processes
1995-01-01 Miculan, M.; Gadducci, Fabio
CPO Models for Infinite Term Rewriting
1995-01-01 Corradini, Andrea; Gadducci, Fabio
Tiles, rewriting rules and CCS
1996-01-01 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
An inductive view of graph transformation
1997-01-01 Gadducci, Fabio; Heckel, R.
A 2-Categorical Presentation of Term Graph Rewriting
1997-01-01 Corradini, Andrea; Gadducci, Fabio
Functorial semantics for multi-algebras
1998-01-01 Corradini, Andrea; Gadducci, Fabio
Normal forms for partitions and relations
1998-01-01 Bruni, Roberto; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Axioms for contextual net processes
1998-01-01 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
A fully abstract model for graph-interpreted temporal logic
1998-01-01 Gadducci, Fabio; Heckel, R.; Koch, M.
CCS semantics via proved transition systems and rewriting logic
1998-01-01 Degano, Pierpaolo; Gadducci, Fabio; Carabetta, G.
Rational Term Rewriting
1998-01-01 Corradini, Andrea; Gadducci, Fabio
A bi-categorical axiomatisation of concurrent graph rewriting
1999-01-01 Gadducci, Fabio; Heckel, R.; Llabrés, M.
Rewriting on cyclic structures: Equivalence between the operational and the categorical description
1999-01-01 Corradini, Andrea; Gadducci, Fabio
An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
1999-01-01 Corradini, Andrea; Gadducci, Fabio
The tile model
2000-01-01 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
Categorical rewriting of term-like structures
2001-01-01 Corradini, Andrea; Gadducci, Fabio
Comparing cospan-spans and tiles via a Hoare-style process calculus
2001-01-01 Gadducci, Fabio; Katis, P.; Montanari, UGO GIOVANNI ERASMO; Sabadini, N.; Walters, R. F. C.
Some algebraic laws for spans
2001-01-01 Bruni, Roberto; Gadducci, Fabio
A concurrent graph semantics for Mobile Ambients
2001-01-01 Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO
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 | |
Modal μ-types for processes | 1-gen-1995 | Miculan, M.; Gadducci, Fabio | |
CPO Models for Infinite Term Rewriting | 1-gen-1995 | Corradini, Andrea; Gadducci, Fabio | |
Tiles, rewriting rules and CCS | 1-gen-1996 | Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO | |
An inductive view of graph transformation | 1-gen-1997 | Gadducci, Fabio; Heckel, R. | |
A 2-Categorical Presentation of Term Graph Rewriting | 1-gen-1997 | Corradini, Andrea; Gadducci, Fabio | |
Functorial semantics for multi-algebras | 1-gen-1998 | Corradini, Andrea; Gadducci, Fabio | |
Normal forms for partitions and relations | 1-gen-1998 | Bruni, Roberto; Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO | |
Axioms for contextual net processes | 1-gen-1998 | Gadducci, Fabio; Montanari, UGO GIOVANNI ERASMO | |
A fully abstract model for graph-interpreted temporal logic | 1-gen-1998 | Gadducci, Fabio; Heckel, R.; Koch, M. | |
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 | |
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 | |
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 |
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