A graph-based approach to the compositional specification of distributed systems

DOI10.1016/S1571-0661(04)80204-4MaRDI QIDQ4923542zbMATH OpenFDO

Authors Manuel Koch

Publication date 24 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80204-4

Mathematics Subject Classification ID

Distributed systems (68M14) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1515852
• Hierarchically distributed graph transformation
• Distributed graphs and graph transformation
• Graph-grammar semantics of a higher-order programming language for distributed systems
• Visual Modeling of Distributed Object Systems by Graph Transformation

Cited in

(10)

• Distributed graphs and graph transformation
• Formal Modeling of Communication Protocols by Graph Transformation
• Automating the refinement of specifications for distributed systems via syntactic transformations
• scientific article; zbMATH DE number 1504834 (Why is no real title available?)
• scientific article; zbMATH DE number 1515852 (Why is no real title available?)
• scientific article; zbMATH DE number 219260 (Why is no real title available?)
• scientific article; zbMATH DE number 2086959 (Why is no real title available?)
• Graph-grammar semantics of a higher-order programming language for distributed systems
• Declarative modelling of distributed systems with graph rewriting languages.
• A dynamic evolution for the specifications of distributed systems

This page was built for publication: A graph-based approach to the compositional specification of distributed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4923542)