On the Unification of Process Semantics: Logical Semantics

David Romero-Hernández David de Frutos-Escrig

Published in: SOS (2011)

Keyphrases

logical properties
logical language
model theoretic
semantic information
conceptual model
formal semantics
predicate calculus
logic programming
specification language
deductive databases
dynamic logic
logical framework
database
software development
higher order
software engineering
case study
learning algorithm