scientific article; zbMATH DE number 1515852
From MaRDI portal
Publication:4508932
Recommendations
- A graph-based approach to the compositional specification of distributed systems
- Graph Transformations
- Declarative modelling of distributed systems with graph rewriting languages.
- Synthesizing distributed transition systems from global specifications
- Towards formal specification of a distributed computing system
- Specification and modelling of computing systems through graphs and graph transformation
- Distributed graphs and graph transformation
Cited in
(9)- Dynamic change management by distributed graph transformation: Towards configurable distributed systems
- Categorical Foundations of Distributed Graph Transformation
- Local views on distributed systems and their communication
- Describing distributed systems by categorical graph grammars
- Combining graphical and formal development of open distributed systems
- Concurrency and loose semantics of open graph transformation systems
- A graph-based approach to the compositional specification of distributed systems
- Visual Modeling of Distributed Object Systems by Graph Transformation
- A dynamic evolution for the specifications of distributed systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4508932)
