A calculus of concurrent graph-rewriting processes

Géza Kulcsár, Andrea Corradini, Malte Lochau. A calculus of concurrent graph-rewriting processes. J. Log. Algebr. Meth. Program., 110, 2020. [doi]

Abstract

Abstract is missing.