scientific article; zbMATH DE number 107681

MaRDI QIDQ4023261zbMATH OpenFDO

Authors Georg Schied

Publication date 23 January 1993

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(5)

• Formal software specification with refinements and modules of typed graph transformation systems
• Process specification and verification
• Hierarchically distributed graph transformation
• Visual Modeling of Distributed Object Systems by Graph Transformation
• On relating rewriting systems and graph grammars to event structures

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 Q4023261)