Login / Signup
Communications Directed by Bound Types in Linda: Presentation and Formal Model.
Alain Gibaud
Philippe Thomin
Published in:
IEEE Trans. Parallel Distributed Syst. (2002)
Keyphrases
</>
formal model
formal models
predicate calculus
lower bound
security properties
multimedia
upper bound
communication systems
database
genetic algorithm
communication networks