Performance Analysis of Probabilistic Action Systems
Formal notations like B or action systems support a notion of refinement. Refinement relates an abstract specification A to a concrete specification C that is as least as deterministic. Knowing A and C one proves that C refines, or implements, specification A. In this study we consider specification...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2004-02.
|
| Subjects: | |
| Online Access: | Get fulltext |