DisChoco: Distributed Constraint Reasoning Solver
C.H.A.O.S. is a Linux distro made for clusters.
Actor based programming using WCF and async-await.
Portable Ubuntu Linux for Scientific Computing
Active Network Programming Language
Generate adaptation contracts between incompatible services
Design and Implementation of the Singhal token based mutual exclusion