Login / Signup

Communications Directed by Bound Types in Linda: Presentation and Formal Model.

Alain GibaudPhilippe 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