Refinement-based Semantics of Parallel Procedures.

Hanna Klaudel Robert-C. Riemann

Published in: PDPTA (1999)

Keyphrases

parallel processing
parallel implementation
formal semantics
shared memory
machine learning
web services
logic programming
semantic information
parallel hardware
database
argumentation semantics
proof theory
search procedures
parallel computation
general purpose
artificial intelligence
neural network