Konstantin Läufer
Konstantin Läufer
about
blog
contact
publications
research
teaching
Light
Dark
Automatic
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events
Christopher Colby
,
Lalita Jategaonkar Jagadeesan
,
Radha Jagadeesan
,
Konstantin Läufer
,
Carlos Puchol
January, 1998
Cite
DOI
URL
Type
Conference paper
Publication
Proceedings of the 1998 International Conference on Computer Languages, ICCL 1998, Chicago, IL, USA, May 14-16, 1998
Cite
×