Formalizing the Development of Agent-Based Systems Using Graph Processes
R. Depke, R. Heckel, in: Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), Carleton Scientific, 2000, pp. 419–426.