2 search results - page 1 / 1 » The Semantics of Triveni: A Process-Algebraic API for Thread... |
92
Voted
ENTCS
1998
15 years 2 months ago
1998
120
Voted
ICCL
1998
IEEE
15 years 7 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...