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

Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
January, 1998
Cite DOI URL
Type
2
Publication
Electron. Notes Theor. Comput. Sci.