Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes

Peter E. Lauer Roy H. Campbell

Published in: Acta Informatica (1975)

Keyphrases

formal semantics
high level
low level
concurrent processes
logical reasoning
first order logic
modeling language
operational semantics
logical language
formal language
er model
ontology languages
owl dl ontology
class labels
query answering
modelling language