СТ |
Concurrent Rewriting for Graphs with Equivalences |
2006 |
Baldan P., Gadducci F., Montanari U. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
28.09.2006 |
СТ |
Causality and Replication in Concurrent Processes |
2003 |
Degano P., Gadducci F., Priami C. |
|
|
|
Lecture Notes in Computer Science |
18.02.2004 |
СТ |
AGILE: Software Architecture for Mobility |
2003 |
Andrade L., Baldan P., Baumeister H., Bruni R., De Nicola R., Fiadeiro J. L., Gadducci F., Gnesi S., Hoffman P., Koch N., Kosiuczenko P., Lapadula A., Latella D., Lopes A., Loreti M., Massink M., Mazzanti U., Montanari U., Oliveira C., Pugliese R., Tarlecki A., Wermelinger M., Wirsing M., Zawlocki A. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
СТ |
Term Graph Rewriting for the pi-Calculus |
2003 |
Gadducci F. |
|
|
|
Lecture Notes in Computer Science |
20.12.2003 |
СТ |
Functorial Semantics for Multi-algebras |
1999 |
Corradini A., Gadducci F. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
27.08.1999 |
СТ |
Axioms for Contextual Net Processes |
1998 |
Gadducci F., Montanari U. |
|
|
|
Lecture Notes in Computer Science |
11.08.1998 |
СТ |
Rational Term Rewriting |
1998 |
Corradini A., Gadducci F. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
СТ |
CPO models for infinite term rewriting |
1995 |
Corradini A., Gadducci F. |
Lecture Notes in Computer Science |
|
|
Algebraic Methodology and Software Technology |
13.09.1995 |
СТ |
Relating Two Categorical Models of Term Rewriting |
1995 |
Corradini A., Gadducci F., Montanari U. |
|
|
|
Lecture Notes in Computer Science |
27.04.1995 |