Modeling Erlang in the pi-calculus.

Thomas Noll Chanchal 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