Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems

Open Webpage

Stefan Göller, Anthony Widjaja Lin

Published: 2014, Last Modified: 16 May 2025ACM Trans. Comput. Log. 2014EveryoneRevisionsBibTeXCC BY-SA 4.0