Login / Signup

The m-calculus: a higher-order distributed process calculus.

Alan SchmittJean-Bernard Stefani
Published in: POPL (2003)
Keyphrases
  • higher order
  • multi agent
  • natural images
  • multiscale
  • process model
  • data sets
  • neural network
  • learning algorithm
  • database systems
  • search algorithm
  • pairwise
  • lightweight
  • high order
  • computer networks
  • automated deduction