A Type System for proving Depth Boundedness in the pi-calculus.

Emanuele D'Osualdo Luke Ong

Published in: CoRR (2015)

Keyphrases

type checking
sufficient conditions
depth map
database
real time
artificial intelligence
decision trees
high quality
high resolution
computer algebra