A Formal Semantics for a DataFlow Machine - Using VDM.

Published in: VDM Europe (1987)

Keyphrases

formal semantics
control flow
formal language
er model
logical reasoning
modeling language
logical language
first order logic
speech acts
operational semantics
modelling language
epistemic logic
parallel computing
theorem prover
business processes
database management systems
open source
database systems
databases