Object and concurrency in Triveni: a telecommunication case study in java

Authors:
Christopher Colby;Lalita Jategaonkar Jagadeesan;Radha Jagadeesan;Konstantin Läufer;Carlos Puchol
Affiliations:
Department of Math and CS, Loyola University Chicago, Chicago, IL;Bell Laboratories, Lucent Technologies, Naperville, IL;Department of Math and CS, Loyola University Chicago, Chicago, IL;Department of Math and CS, Loyola University Chicago, Chicago, IL;Bell Laboratories, Lucent Technologies, Naperville, IL
Venue:
COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4
Year:
1998

Citing 5
Cited 4

The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
A formal approach to reactive systems software: a telecommunications application in ESTEREL

Formal Methods in System Design
Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software

Proceedings of the 7th International Conference on Computer Aided Verification
Design and Implementation of Triveni: a Process-algebraic API for Threads + Events

ICCL '98 Proceedings of the 1998 International Conference on Computer Languages

BDL: A Specialized Language for Per-Object Reactive Control

IEEE Transactions on Software Engineering
Ensuring privacy in presence awareness: an automated verification approach

CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
A Constraint-Based Framework for Prototyping Distributed Virtual Applications

CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Event-based Programming Models for Event-based Programming Models for

DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe the interaction of objects and concurrency in the design of Triveni, a framework for concurrent programming with threads and events. Triveni has been realized as JavaTriveni, a collection of tools for the Java programming language. We describe our experiences in JavaTriveni with an example from telecommunication.