scientific article; zbMATH DE number 1515852

zbMATH Open0959.68528MaRDI QIDQ4508932FDOQ4508932

Authors: Manuel Koch 

Publication date: 10 October 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

distributed systemsdistributed graph transformations

Mathematics Subject Classification ID

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

Cited In (9)

• A dynamic evolution for the specifications of distributed systems
• Title not available (Why is that?)
• Concurrency and loose semantics of open graph transformation systems
• Title not available (Why is that?)
• Categorical Foundations of Distributed Graph Transformation
• A graph-based approach to the compositional specification of distributed systems
• Visual Modeling of Distributed Object Systems by Graph Transformation
• Title not available (Why is that?)
• Title not available (Why is that?)

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)