Вы здесь

Gadducci F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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