Category talk:Synchronous programming languages