Paper Info
Title
The Semantics of Triveni: A process-Algebraic API for Threads + Events
Abstract
This paper describes compositional semantics (operational, denotational and logical) for a process algebra enhanced with input/output actions and preemption combinators, in the presence of fairness. The context of this paper is Triveni, a process-algebra-based design methodology that combines threads and events in the context of object-oriented programming. Triveni has been realized as an Application Programmer Interface in the Java programming language. The semantics described in this paper forms the theoretical basis of the Triveni programming language and environment. (i) The operational model described in this paper is the precise formalization of the implementation. (ii) The denotational semantics serves as the basis for a non-definability result. This result justifies the introduction of certain powerful preemption combinators as primitives in Triveni. (iii) The logical semantics forms the basis of our specification-based testing environment realized in the implementation.
Year
DOI
Venue
1998
10.1016/S1571-0661(05)80233-6
Electronic Notes in Theoretical Computer Science
Keywords
Field
DocType
process algebra,input output,object oriented programming,design methodology
Principle of compositionality,Operational semantics,Programming language,Combinatory logic,Computer science,Action semantics,Denotational semantics,Theoretical computer science,Thread (computing),Process calculus,Semantics
Journal
Volume
ISSN
Citations 
14
Electronic Notes in Theoretical Computer Science
3
PageRank 
References 
Authors
0.56
23
5
Name
Order
Citations
PageRank
Christopher Colby123718.39
Lalita Jategaonkar26422.38
Radha Jagadeesan32117121.75
Konstantin Läufer410713.84
Carlos Puchol513818.65