"A Truly Concurrent Semantics for the K Framework Based on Graph ..."

Traian-Florin Serbanuta, Grigore Rosu (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics