A Causality-based Semantics for CCS.

Rosvelter João Coelho da Costa Jean-Pierre Courtiat

Published in: NAPAW (1992)

Keyphrases

logic programming
formal semantics
semantic information
conceptual model
semantic relationships
nonmonotonic logics
logical language
database
conceptual graphs
reasoning tasks
operational semantics
causal reasoning
causal relations
model theoretic