Sign in

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

Traian-Florin SerbanutaGrigore Rosu
Published in: ICGT (2012)
Keyphrases
  • probabilistic model
  • random walk
  • main contribution
  • semantic information
  • conceptual model
  • logical framework
  • pairwise
  • graph representation