Topics
object-oriented programmingProgramming language
Java programming languageLanguage
APIMusic genre
Lucent TechnologiesCompany
CGAInformation appliance
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 [CJJ 98a, CJJ 98b]. Triveni has been realized as an API, JavaTriveni [CJJ 98a], in the Java programming language. A case study in JavaTriveni is described in [CJJ 98b], involving the re-implementation of a piece of telecommunication software -- the Carrier Group Alarms (CGA) software of Lucent Technologies' 5ESS switc
A structural operational semantics of a significant sublanguage of Java is presented, including the ...
Concurrency theory, software architecture, system modeling and verification, and dependability and p...
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. ...
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni i...
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni i...
The construction of concurrent programs is especially complex due mainly to the inherent non-determi...
Abstract. Besides the features of a class-based object-oriented lan-guage, Java integrates concurren...
Emerging interaction paradigms, such as service-oriented computing, and new technological challenges...
A structural operational semantics of a significant sublanguage of Java is presented, including the ...
Concurrency is thought to be an advanced topic - much harder than serial computing which, therefore,...
A structural operational semantics of a non trivial sublanguage of Java is presented. This language ...
The ProB model checker provides tool support for an integrated formal specification approach, which ...
Concurrency theory, software architecture, system modeling and verification, and dependability and p...
A programming style based on concurrent objects arises almost inevitably in languages where processe...
This paper introduces a temporal logic based on precedence constraints among events which captures n...
A structural operational semantics of a significant sublanguage of Java is presented, including the ...
Concurrency theory, software architecture, system modeling and verification, and dependability and p...
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. ...
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni i...
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni i...
The construction of concurrent programs is especially complex due mainly to the inherent non-determi...
Abstract. Besides the features of a class-based object-oriented lan-guage, Java integrates concurren...
Emerging interaction paradigms, such as service-oriented computing, and new technological challenges...
A structural operational semantics of a significant sublanguage of Java is presented, including the ...
Concurrency is thought to be an advanced topic - much harder than serial computing which, therefore,...
A structural operational semantics of a non trivial sublanguage of Java is presented. This language ...
The ProB model checker provides tool support for an integrated formal specification approach, which ...
Concurrency theory, software architecture, system modeling and verification, and dependability and p...
A programming style based on concurrent objects arises almost inevitably in languages where processe...
This paper introduces a temporal logic based on precedence constraints among events which captures n...
A structural operational semantics of a significant sublanguage of Java is presented, including the ...
Concurrency theory, software architecture, system modeling and verification, and dependability and p...
Process algebra provides abstract and rigorous means for studying communicating concurrent systems. ...
Add to ORKG