scientific article; zbMATH DE number 7440204

zbMath1482.68122arXiv1609.03643MaRDI QIDQ5015376

Detlef Plump

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1609.03643

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Confluence up to Garbage ⋮ Confluence up to garbage in graph transformation

Uses Software

• AGG
• GP 2

Cites Work

• Unnamed Item
• Topology of series-parallel networks
• Hoare-Style Verification of Graph Programs
• Verifying Monadic Second-Order Properties of Graph Programs
• Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY
• Digraphs
• Processes, Terms and Cycles: Steps on the Road to Infinity

This page was built for publication: