Coinductive Big-Step Semantics for Concurrency.

Published in: PLACES (2013)

Keyphrases

semantic information
concurrency control
database systems
expert systems
post processing
semantic representation
data sets
data mining
website
preprocessing
fine grained
conceptual model
multi step
formal semantics
operational semantics