scientific article; zbMATH DE number 1361480

MaRDI QIDQ4699298zbMATH OpenFDO

Authors R. Heckel, Hartmut Ehrig, Andrea Corradini, Uwe Wolter

Publication date 1 February 2000

zbMATH Keywords

graph grammarsgraphical consistency constraintstemporal logic constraints

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Temporal logic (03B44) Abstract data types; algebraic specification (68Q65) Categories of machines, automata (18B20)

Recommendations

• Verifying a behavioural logic for graph transformation systems
• scientific article; zbMATH DE number 1504838
• Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
• A Logic of Graph Constraints

Cited in

(3)

• scientific article; zbMATH DE number 1218793 (Why is no real title available?)
• GETGRATS: a summary of scientific results (with annotated bibliography)
• scientific article; zbMATH DE number 1504838 (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 Q4699298)