A model for distributed systems based on graph rewriting
Journal of the ACM (JACM)
A model for electronic documents
ACM SIGOIS Bulletin
Design methodology management using graph grammars
DAC '94 Proceedings of the 31st annual Design Automation Conference
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Three dimensional tree grammars for the modeling of plants
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
On formalizing UML with high-level petri nets
Concurrent object-oriented programming and petri nets
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
Graph Applications in Programming
Programming and Computing Software
Learning Situation-Specific Coordination in Cooperative Multi-agent Systems
Autonomous Agents and Multi-Agent Systems
Minimal State Space Search in Parallel Production Systems
IEEE Transactions on Knowledge and Data Engineering
Planning Geometric Constraint Decomposition via Optimal Graph Transformations
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Plants, fractals, and formal languages
SIGGRAPH '84 Proceedings of the 11th annual conference on Computer graphics and interactive techniques
Towards extensible graphical formalisms
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Graph grammars with string-regulated rewriting
Theoretical Computer Science
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
LOGIC BASED PROGRAMMED STRUCTURE REWRITING SYSTEMS
Fundamenta Informaticae
EXPANDING GRAPH RELABELING SYSTEMS HAVE THE POWER OF RECURSIVE ENUMERABILITY
Fundamenta Informaticae
Hi-index | 0.00 |