Login / Signup
Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes
Peter E. Lauer
Roy H. Campbell
Published in:
Acta Informatica (1977)
Keyphrases
</>
formal semantics
high level
low level
concurrent processes
logical language
er model
modelling language
programming language
formal language
operational semantics
lower layers
modeling language
database
first order logic
logical reasoning
domain knowledge
user interface
artificial intelligence
databases