On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata

Abstract

It is about certain transformation of PCGS into correctness preserving restarting automata.