publication . Conference object . 2005

modelling and analysis of distributed simulation protocols with distributed graph transformation

Lara, Juan de; Taentzer, Gabriele;
Open Access
  • Published: 01 Jan 2005
  • Publisher: IEEE
  • Country: Spain
Abstract
Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. J. de Lara, and G. Taentzer, "Modelling and analysis of distributed simulation protocols with distributed graph transformation", ACSD 2005 Fifth International Conference on Application of Concurrency to System Design, 2005, St. Malo, France, 2005, pp. 144-153 This paper presents our approach to mod...
Subjects
free text keywords: Distributed Graph Transformation, Distributed Simulation, Protocols, Informática, State diagram, Discrete event simulation, Theoretical computer science, Graph rewriting, Global consistency, Flattening, Real-time computing, Functor, Programming language, computer.software_genre, computer, Graph, Graphical model, Computer science
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Conference object . 2005

modelling and analysis of distributed simulation protocols with distributed graph transformation

Lara, Juan de; Taentzer, Gabriele;