Sciweavers

Share
ICCL
1998
IEEE

Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events

9 years 6 months ago
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events
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 is compatible with existing threads standards, such as Pthreads and Java threads, and with the event models structured on the Observer pattern. We describe the software architecture and algorithms underlying a concrete implementation of Triveni in Java. This environment includes specification-based testing of safety properties. The results described in this paper have been used to integrate process-algebraic methods into (concurrent) object oriented programming [8].
Christopher Colby, Lalita Jategaonkar Jagadeesan,
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1998
Where ICCL
Authors Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
Comments (0)
books