Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events