Linear Ordered Graph Grammars and Their Algebraic Foundations
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Stochastic Object-Based Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Split: a flexible and efficient algorithm to vector-descriptor product
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Formal Verification of Graph Grammars using Mathematical Induction
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying Object-Based Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
An Environment for the Development of Concurrent Object-Based Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
A formal framework for the development of concurrent object-based systems
Formal Methods in Software and Systems Modeling
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Verifying fault-tolerant distributed systems using object-based graph grammars
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Hi-index | 0.00 |