PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Corradini, Andrea"

Author of the publication

copydeleteadd this publication to your clipboard
From Petri Nets to Graph Transformation Systems.

, , , and . ECEASST, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. Andrea Thom University of Stuttgart

Andrea Loi University of Stuttgart

Andrea Talmann University of Stuttgart

Jun. -Prof. Dr. Andrea Iannelli University of Stuttgart

Dr. Andrea Zappe University of Stuttgart

 

Other publications of authors with the same name

Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming., and . Theor. Comput. Sci., 109 (1&2): 7-48 (1993)Adaptation is a Game., , , , and . TinyToCS, (2013)Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets., , , , and . CALCO, volume 4624 of Lecture Notes in Computer Science, page 126-142. Springer, (2007)On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars., , , , and . ICGT, volume 6372 of Lecture Notes in Computer Science, page 91-106. Springer, (2010)A 2-Categorical Presentation of Term Graph Rewriting., and . Category Theory and Computer Science, volume 1290 of Lecture Notes in Computer Science, page 87-105. Springer, (1997)Open Petri Nets: Non-deterministic Processes and Compositionality., , , and . ICGT, volume 5214 of Lecture Notes in Computer Science, page 257-273. Springer, (2008)Data-Driven Choreographies à la Klaim., , , , , and . Models, Languages, and Tools for Concurrent and Distributed Programming, volume 11665 of Lecture Notes in Computer Science, page 170-190. Springer, (2019)Unfolding and Event Structure Semantics for Graph Grammars., , and . FoSSaCS, volume 1578 of Lecture Notes in Computer Science, page 73-89. Springer, (1999)Rational Term Rewriting., and . FoSSaCS, volume 1378 of Lecture Notes in Computer Science, page 156-171. Springer, (1998)Graphical Operational Semantics., , and . ICALP Satellite Workshops, page 411-418. Carleton Scientific, Waterloo, Ontario, Canada, (2000)