Login / Signup

On the Decidability of Process Equivalences for the pi-Calculus.

Mads Dam
Published in: Theor. Comput. Sci. (1997)
Keyphrases
  • data sets
  • neural network
  • development process
  • expert systems
  • database
  • website
  • decision trees
  • binary images