Author of the publication

Sharing in the Graph Rewriting Calculus.

, and . WADT, volume 7137 of Lecture Notes in Computer Science, page 27-41. Springer, (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.

 

Other publications of authors with the same name

Processes and unfoldings: concurrent computations in adhesive categories., , , , and . Mathematical Structures in Computer Science, (2014)Concurrency cannot be observed, asynchronously., , , and . Mathematical Structures in Computer Science, 25 (4): 978-1004 (2015)A Fixed-Point Theorem in a Category of Compact Metric Spaces., , and . Theor. Comput. Sci., 146 (1&2): 311-320 (1995)Petri nets are dioids: a new algebraic foundation for non-deterministic net theory., and . Acta Inf., 56 (1): 61-92 (2019)A Logic for True Concurrency., and . J. ACM, 61 (4): 24:1-24:36 (2014)Sharing in the Graph Rewriting Calculus., and . WADT, volume 7137 of Lecture Notes in Computer Science, page 27-41. Springer, (2010)Comparing metabolic pathways through potential fluxes: a selective opening approach., , , and . BioPPN@Petri Nets, volume 988 of CEUR Workshop Proceedings, page 1-15. CEUR-WS.org, (2013)Local Model Checking in a Logic for True Concurrency., and . FoSSaCS, volume 10203 of Lecture Notes in Computer Science, page 407-423. (2017)Concatenable Graph Processes: Relating Processes and Derivation Traces., , and . ICALP, volume 1443 of Lecture Notes in Computer Science, page 283-295. Springer, (1998)Bisimulation by Unification., , and . AMAST, volume 2422 of Lecture Notes in Computer Science, page 254-270. Springer, (2002)