scientific article; zbMATH DE number 1515852

MaRDI QIDQ4508932zbMATH OpenFDO

Authors Manuel Koch

Publication date 10 October 2000

zbMATH Keywords

distributed systemsdistributed graph transformations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A graph-based approach to the compositional specification of distributed systems
• Graph Transformations
• Declarative modelling of distributed systems with graph rewriting languages.
• scientific article; zbMATH DE number 1500652
• 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)

• A dynamic evolution for the specifications of distributed systems
• scientific article; zbMATH DE number 1629831 (Why is no real title available?)
• Concurrency and loose semantics of open graph transformation systems
• Categorical Foundations of Distributed Graph Transformation
• scientific article; zbMATH DE number 1504834 (Why is no real title available?)
• A graph-based approach to the compositional specification of distributed systems
• Visual Modeling of Distributed Object Systems by Graph Transformation
• scientific article; zbMATH DE number 2086959 (Why is no real title available?)
• scientific article; zbMATH DE number 219260 (Why is no real title available?)

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)