Theoretical Computer Science; Computer Science (all)


Information Flow Security for Stochastic Processes

Loose Graph Simulations

We introduce loose graph simulations (LGS), a new notion about labelled graphs which subsumes in an intuitive and natural way subgraph isomorphism (SGI), regular language pattern matching (RLPM) and graph simulation (GS). Being a unification of all …

The expressive power of structural operational semantics with explicit assumptions