The Semantics of Blocking and Nonblocking Send and Receive Primitives.

Robert Cypher Eric Leu

Published in: IPPS (1994)

Keyphrases

formal semantics
high level
logic programming
low level
case study
image sequences
data model
database management systems
conceptual model
record linkage
semantic representation