|
СТ |
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 |
|
СТ |
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 |
|
СТ |
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation |
2003 |
Baldan P., Bruni R., Montanari U. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
|
СТ |
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars |
2003 |
Baldan P., Corradini A., Montanari U., Ribeiro L. |
|
|
|
Lecture Notes in Computer Science |
14.01.2004 |
|
СТ |
A Logic for Analyzing Abstractions of Graph Transformation Systems |
2003 |
Baldan P., Konig B., Konig B. |
|
|
|
Lecture Notes in Computer Science |
18.09.2003 |
|
СТ |
Bisimulation Equivalences for Graph Grammars |
2002 |
Baldan P., Corradini A., Montanari U. |
|
|
|
Lecture Notes in Computer Science |
14.03.2002 |
|
СТ |
High-Level Net Progresses |
2002 |
Ehrig H., Hoffmann K., Padberg J., Baldan P., Heckel R. |
|
|
|
Lecture Notes in Computer Science |
14.03.2002 |
|
СТ |
Functional Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs |
2000 |
Baldan P., Busi N., Corradini A., Pinna G. M. |
|
|
|
Lecture Notes in Computer Science |
15.09.2000 |
|
СТ |
Unfolding and Event Structure Semantics for Graph Grammars |
1999 |
Baldan P., Corradini A., Montanari U. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
|
СТ |
Concatenable Graph Processes: Relating Processes and Derivation Traces |
1998 |
Baldan P., Corradini A., Montanari U. |
|
|
|
Lecture Notes in Computer Science |
11.08.1998 |
|
СТ |
An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures |
1998 |
Baldan P., Corradini A., Montanari U. |
|
|
|
Lecture Notes in Computer Science |
18.04.1998 |
