An Operational Semantics for Pure Dataflow.

Antony A. Faustini

Published in: ICALP (1982)

Keyphrases

operational semantics
formal semantics
data flow
mental states
model theoretic
data model
declarative semantics
agent programming
parallel computing
artificial intelligence
denotational semantics
database
case study
knowledge representation
object oriented
activity diagrams