Contextual Petri nets, asymmetric event structures, and processes
Information and Computation
Bisimulation Equivalences for Graph Grammars
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
A Static Analysis Technique for Graph Transformation Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Compositional Modeling of Reactive Systems Using Open Nets
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Unfolding and Event Structure Semantics for Graph Grammars
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Bisimulation equivalences for graph grammars
Formal and natural computing
Algebraic properties of processes for Local Action Systems
Mathematical Structures in Computer Science
Compositional semantics for open Petri nets based on deterministic processes
Mathematical Structures in Computer Science
Unfolding semantics of graph transformation
Information and Computation
On the concurrent semantics of algebraic graph grammars
Formal Methods in Software and Systems Modeling
Termination analysis of model transformations by petri nets
ICGT'06 Proceedings of the Third international conference on Graph Transformations
An institution for graph transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |