Christopher ColbyLalita Jategaonkar JagadeesanRadha JagadeesanKonstantin LäuferCarlos PucholDesign and Implementation of Triveni: A Process-Algebraic API for Threads + Events.58-671998conf/iccl/1998ICCLhttps://doi.org/10.1109/ICCL.1998.674157https://doi.ieeecomputersociety.org/10.1109/ICCL.1998.674157db/conf/iccl/iccl1998.html#ColbyJJLP98