&pgr;-calculus, internal mobility, and agent-passing calculi
TAPSOFT '95 Selected papers from the 6th international joint conference on Theory and practice of software development
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Hyperedge replacement graph grammars
Handbook of graph grammars and computing by graph transformation
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
Modeling concurrent, mobile and coordinated systems via graph transformations
Handbook of graph grammars and computing by graph transformation
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Observational Equivalence for Synchronized Graph Rewriting with Mobility
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
A LTS Semantics of Ambients via Graph Synchronization with Mobility
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Ugo Montanari and Graph Transformation
Concurrency, Graphs and Models
Synchronous Multiparty Synchronizations and Transactions
Concurrency, Graphs and Models
Explicit State Model Checking for Graph Grammars
Concurrency, Graphs and Models
Models of Computation: A Tribute to Ugo Montanari's Vision
Concurrency, Graphs and Models
Compositionality in graph transformation
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Synchronised hyperedge replacement as a model for service oriented computing
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Specifying and verifying UML activity diagrams via graph transformation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Behavior-preserving refinement relations between dynamic software architectures
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Synchronized hyperedge replacement for heterogeneous systems
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Generalised compositionality in graph transformation
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Hi-index | 0.00 |
The design of software systems that include mobility or dynamic reconfiguration of their components is becoming more frequent. Consequently, it is necessary to have the right tools to handle their description specially in the design phase. With this in mind and understanding the relevance of visual languages at the design level, we present in this paper a graphical model using Synchronized Hyperedge Replacement Systems with the addition of name mobility. This method gives a solid foundation for graphical mobile calculi which are well-suited for high level description of distributed and concurrent systems.