Konstantin Läufer
Konstantin Läufer
about
blog
contact
publications
research
teaching
Light
Dark
Automatic
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
Journal article
Publication
Electron. Notes Theor. Comput. Sci.
Cite
×