A. Habel;H.-J. Kreowski;D. Plump
Univ. Bremen, Bremen;Univ. Bremen, Bremen;Univ. Bremen, Bremen
A truly concurrent semantics for the K framework based on graph transformations
ICGT'12 Proceedings of the 6th international conference on Graph Transformations