Free Lock Manager
Aims to enable researcher to tap in to mobile computing capability
COMP superscalar exploits the inherent parallelism of applications.
Active Network Programming Language
A choreography programming language for concurrent systems