Lingua Franca-language with model of time,deterministic concurrency(UC Berkeley)github.com/icyphy2 pointsolvy05 years ago