You might want to investigate the Bloom project. That is the only language I know that uses temporal logic as its base while still viable for writing actual run

You might want to investigate the Bloom project. That is the only language I know that uses temporal logic as its base while still viable for writing actual running services. Didn't use it, but watch a few presentations, i.e: https://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Bloom-Disorderly-Programming-for-a-Distributed-World https://channel9.msdn.com/Events/Lang-NEXT/Lang-NEXT-2012/Bl...