UNITY
Unity este un limbaj de programare construit de K.
Mani Chandy și Jayadev Misra pentru cartea lor Paralel Program Design: A Foundation.
Este un limbaj teoretic care se concentrează pe ce, în loc de unde, când sau cum.
Limbajul nu conține nicio metodă de control al fluxului, iar declarațiile programului rulează într -un mod nedeterminist până când declarațiile nu încetează să provoace modificări în timpul executării.
Acest lucru permite ca programele să funcționeze la nesfârșit, cum ar fi sistemele de siguranță auto-pilot sau centrale electrice, precum și programe care s-ar încheia în mod normal (care aici converg la un punct fix).