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

Traian-Florin Serbanuta Grigore Rosu

Published in: ICGT (2012)

Keyphrases

probabilistic model
random walk
main contribution
semantic information
conceptual model
logical framework
pairwise
graph representation