Check out the new USENIX Web site. next up previous
Next: Triveni: Design and Implementation Up: Objects and Concurrency in Previous: Organization of the paper

   
Triveni: Basis

Triveni is a programming methodology for concurrent programming with threads and events. Triveni has its basis in process algebras (e.g., CCS [Mil89], CSP [Hoa85]) and synchronous programming languages (e.g., see [Hal93]). The key feature of these formalisms is a notion of abstract behavior, which in a concurrent system is essentially the interaction of the system with its environment. Communication is via (labeled) events that are abstractions of names of communication channels. Triveni has the following features:


next up previous
Next: Triveni: Design and Implementation Up: Objects and Concurrency in Previous: Organization of the paper
1998-03-16