返回Google圖書搜尋

Parallel High-level Replacement Systems

出版	Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1992
URL	http://books.google.com.hk/books?id=u5XStQEACAAJ&hl=&source=gbs_api

註釋Abstract: "High-Level Replacement Systems presented in [EHKP92] are an axiomatic categorical framework based on double-pushouts in order to unify replacement systems like grammars for different kinds of graphs and relational structures or other types of structures like algebraic specifications. Parallel High-Level Replacement Systems are introduced to formalize parallel rewriting of these high-level structures. On one hand this concept generalizes and extends parallel graph grammars presented in [EK76] by allowing other structures than graphs, on the other hand the kinds of derivation introduced in [EHKP92] for High-Level Replacement Systems are extended by different types of parallel derivation which are compared to each other in different dynamic parallel derivation theorems