Sign in

Modeling Erlang in the pi-calculus.

Thomas NollChanchal Kumar Roy
Published in: Erlang Workshop (2005)
Keyphrases
  • image processing
  • modeling framework
  • real time
  • databases
  • data structure
  • relational databases
  • artificial neural networks
  • formal language
  • provably correct