Вы здесь

Baldan P.

Автор:

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

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ CONCUR 2014 - Concurrency Theory: Proc./25th International Conference, CONCUR 2014, Rome, Italy, September 2014 2014 Lecture Notes in Computer Science
  1. Baldan P.
  2. Gorla D.
23.09.2014