The Semantics of Triveni: A Process-Algebraic API for Threads + Events

Publication
Electron. Notes Theor. Comput. Sci.