scientific article; zbMATH DE number 1504839

MaRDI QIDQ4502818zbMATH OpenFDO

Authors Francesco Parisi-Presicce, Marta Simeoni, M. Große-Rhode

Publication date 7 November 2000

zbMATH Keywords

graph transformation systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1222590
• Formal software specification with refinements and modules of typed graph transformation systems
• scientific article; zbMATH DE number 1418368
• scientific article; zbMATH DE number 1953883
• Graph transformation for specification and programming

Cited in

(13)

• Formal software specification with refinements and modules of typed graph transformation systems
• Graph-based specification of access control policies
• A class of rewriting rules and reverse transformation for rule-based equivalent transformation
• Transformation and refinement of rigid structures
• Realizing Graph Transformations by Pre- and Postconditions and Command Sequences
• Compositionality in graph transformation
• scientific article; zbMATH DE number 1222590 (Why is no real title available?)
• On Modifying High Level Replacement Systems1 1Partially supported by the European Community under TMR GETGRATS and Esprit WG APPLIGRAPH
• GETGRATS: a summary of scientific results (with annotated bibliography)
• Graph transformations for the specification of access control policies
• scientific article; zbMATH DE number 1418368 (Why is no real title available?)
• Towards a notion of transaction in graph rewriting
• Systematic Refinement of Abstract State Machines with Higher-Order Logic

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