A Formal Model for the Parallel Semantics of P3L.

Alessandra Cavarra Elvinia Riccobene Andrea Zavanella

Published in: SAC (2) (2000)

Keyphrases

formal model
predicate calculus
logic programming
semantic information
formal models
security properties
probabilistic knowledge
parallel processing
massively parallel
neural network
web services
parallel implementation
formal semantics
parallel programming