A Complete Axiomatic Semantics of Spawning.

Published in: Distributed Comput. (1991)

Keyphrases

logic programming
conceptual model
formal semantics
e learning
domain knowledge
natural language processing
operational semantics