TLA+ is a high-level programming language used to model complex, concurrent, and distributed programs and systems. It was created by Leslie Lamport and is backed by Amazon Web Services, Microsoft ...

Kamaelia is an open-source Python framework developed by BBC Research & Development (BBC R&D) for building concurrent and distributed systems. It provides a component-based approach to software ...

Distributed application platform provider Akka said today it’s launching two new deployment options for developers looking for more versatile ways to deploy agent artificial intelligence application ...

Gowtham Kaki is an assistant professor joining the Department of Computer Science in fall 2020. His research is in the areas of Programming Languages and Formal Methods with a focus on automated ...