BlenX Static and Dynamic Semantics.

Corrado Priami, Paola Quaglia, Alessandro Romanel

Browse the full CONCUR paper archive.