Communicating sequential processes
Communicating sequential processes
The society of mind
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Agent theories, architectures, and languages: a survey
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
Software agents
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
Actor grammars and local actions
Handbook of graph grammars and computing by graph transformation
Modeling concurrent, mobile and coordinated systems via graph transformations
Handbook of graph grammars and computing by graph transformation
Graph transformation units and modules
Handbook of graph grammars and computing by graph transformation
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Hierarchically Distributed Graph Transformation
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
More About Control Conditions for Transformation Units
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Introduction to PROGRESS, an Attribute Graph Grammar Based Specification Language
WG '89 Proceedings of the 15th International Workshop on Graph-Theoretic Concepts in Computer Science
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Mobile Agents Implementing Local Computations in Graphs
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
| Hi-index | 0.00 |
Specifying and programming with the help of agent systems is gaining more and more interest, especially in the field to distributed and reactive systems. In this paper, we propose a formal model of agent systems based on graph transformation. It is quite natural to visualize systems, especially system states, by means of graphs. Hence, it is also appropriate to specify those systems using graphs. Accordingly, changes from one state into another can be modeled by graph transformation.