Redundancy and subsumption in high-level replacement systems

DOI10.1007/978-3-540-46464-8_15MaRDI QIDQ4502815zbMATH OpenFDO

Authors Gabriel Valiente, Hans-Jörg Kreowski

Publication date 12 September 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2117/93042

zbMATH Keywords

system verification

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

• Parallelism and concurrency in high-level replacement systems
• Basic results for two types of high-level replacement systems
• scientific article; zbMATH DE number 177439
• scientific article; zbMATH DE number 1975616
• Parallel high-level replacement systems

Cited in

(3)

• scientific article; zbMATH DE number 4052978 (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)

This page was built for publication: Redundancy and subsumption in high-level replacement systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4502815)