Weakly-Synchronized Ground Tree Rewriting

DOI10.1007/978-3-642-32589-2_55zbMath1365.68299OpenAlexW180544992MaRDI QIDQ2912762

Anthony Widjaja Lin

Publication date: 25 September 2012

Published in: Mathematical Foundations of Computer Science 2012 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32589-2_55

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items

On the index of convergence of a class of Boolean matrices with structural properties, Decidable models of integer-manipulating programs with recursive parallelism, Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems