Sciweavers

CONCUR
2009
Springer
14 years 6 days ago
BlenX Static and Dynamic Semantics
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
Corrado Priami, Paola Quaglia, Alessandro Romanel