Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics.

Published in: FACS (2013)

Keyphrases

transformation rules
formal semantics
logic programming
semantic information
linear transformation
formally define
model theoretic
real time
data sets
neural network
high level
deductive databases
graphical representation