Specification and modelling of computing systems through graphs and graph transformation

Fabio Gadducci, Timo Kehrer. Specification and modelling of computing systems through graphs and graph transformation. J. Log. Algebr. Meth. Program., 135:100905, October 2023. [doi]

Abstract

Abstract is missing.