Kuram Tirumala Narayana

• Semantics of a synchronous parallel programming language