TY - JOUR
T1 - Design and Implementation of Triveni: a Process-Algebraic API for Threads + Events
AU - Colby, Christopher P
AU - Jategaonkar Jagaeesan, Lalita
AU - Jagadeesan, Radhakrishnan
AU - Laufer, Konstantin
AU - Puchol, Carlos
AU - Läufer, Konstantin
N1 - C. Colby, L. J. Jagadeesan, R. Jagadeesan, K. Läufer, and C. Puchol, Design and implementation of triveni: a process-algebraic API for threads + events, in Proc. Intl. Conf. on Computer Languages, H. E. Bal, B. Belkhouche, and L. Cardelli, Eds., IEEE Computer Society with ACM SIGPLAN. IEEE Computer Society, May 1998, pp. 58-67.
PY - 1998/5/1
Y1 - 1998/5/1
N2 - 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 the paper have been used to integrate process-algebraic methods into (concurrent) object orientated programming.
AB - 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 the paper have been used to integrate process-algebraic methods into (concurrent) object orientated programming.
KW - API
KW - computer science
UR - https://ecommons.luc.edu/cs_facpubs/57
U2 - n/a
DO - n/a
M3 - Article
JO - Computer Science: Faculty Publications and Other Works
JF - Computer Science: Faculty Publications and Other Works
ER -