Foundations of rule-based design of modular systems

DOI10.1016/0304-3975(91)90042-ZzbMath0753.68069OpenAlexW2011809587MaRDI QIDQ1176249

Francesco Parisi-Presicce

Publication date: 25 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(91)90042-z

zbMATH Keywords

graph grammarsrule-based designmodular system specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42) Theory of software (68N99)

Related Items

Canonical derivations for high-level replacement systems ⋮ On the complexity of specification morphisms ⋮ Parallel high-level replacement systems

Cites Work

• Algebraic specification of modules and their basic interconnections
• Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
• Parallelism and concurrency of graph manipulations
• Deriving graphs from graphs by applying a production
• Graph-grammars and their application to computer science. 2nd International Workshop, Haus Ohrbeck, Germany, October 4-8, 1982. Under the auspices of the European Association for Theoretical Computer Science
• Transformations of structures: An algebraic approach
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item