Loading...
Please wait, while we are loading the content...
Similar Documents
Denotational semantics for probabilistic refusal testing (1999).
| Content Provider | CiteSeerX |
|---|---|
| Author | Gregorio-RodrÃguez, Carlos Nunez, Manuel |
| Abstract | In this paper, refusal testing ideas are applied to define a testing semantics for a probabilistic process algebra. A testing equivalence is defined by combining the greater discriminatory power of refusal testing and a simple treatment of the probabilistic component of processes. This testing equivalence is characterized by two fully abstract denotational semantics. The first of them is based on probabilistic refusal traces. These traces condense the set of tests that a process passes with probability greater than zero. The second one is based on a probabilistic extension of classical acceptance trees, where semantic processes can be viewed as (syntactic) normal forms. |
| File Format | |
| Publisher Date | 1999-01-01 |
| Access Restriction | Open |
| Subject Keyword | Probabilistic Refusal Testing Denotational Semantics Testing Semantics Semantic Process Probabilistic Extension Probabilistic Process Algebra Abstract Denotational Semantics Classical Acceptance Tree Second One Discriminatory Power Normal Form Probabilistic Component Probabilistic Refusal Trace Simple Treatment |
| Content Type | Text |
