Non-interleaving Semantics with Causality for Nondeterministic Dataflow.

Oana Agrigoroaiei Gabriel Ciobanu

Published in: ICTAC (2008)

Keyphrases

control flow
logic programming
formal semantics
parallel computing
reasoning tasks
temporal ordering
database
knowledge base
knowledge representation
causal relationships
conceptual graphs
owl ontologies
finite automata
parallel execution