Author of the publication

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions.

, , , and . Electron. Notes Theor. Comput. Sci., 203 (6): 43-66 (2008)

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.

 

Other publications of authors with the same name

From Algebraic Graph Transformation to Adhesive HLR Categories and Systems., and . CAI, volume 4728 of Lecture Notes in Computer Science, page 122-146. Springer, (2007)Preface., , and . ACCAT@ETAPS, volume 203 of Electronic Notes in Theoretical Computer Science, page 1. Elsevier, (2007)Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation., , , and . VL/HCC, page 71-78. IEEE Computer Society, (2005)Fundamental Theory for Typed Attributed Graph Transformation., , and . ICGT, volume 3256 of Lecture Notes in Computer Science, page 161-177. Springer, (2004)Reasoning with graph constraints., , and . Formal Aspects Comput., 22 (3-4): 385-422 (2010)Termination Criteria for DPO Transformations with Injective Matches., , and . GT-VC@CONCUR, volume 175 of Electronic Notes in Theoretical Computer Science, page 87-100. Elsevier, (2006)Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels., and . ICGT, volume 5214 of Lecture Notes in Computer Science, page 178-193. Springer, (2008)Attributed graph transformation with node type inheritance., , , , , and . Theor. Comput. Sci., 376 (3): 139-163 (2007)Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations., and . Essays Dedicated to Joseph A. Goguen, volume 4060 of Lecture Notes in Computer Science, page 235-251. Springer, (2006)Categorical Foundations of Distributed Graph Transformation., , and . ICGT, volume 4178 of Lecture Notes in Computer Science, page 215-229. Springer, (2006)