Back to Search
Start Over
Reduction in TLA.
- Source :
- CONCUR'98 Concurrency Theory; 1998, p317-331, 15p
- Publication Year :
- 1998
-
Abstract
- Reduction theorems allow one to deduce properties of a concurrent system specification from properties of a simpler, coarser-grained version called the reduced specification. We present reduction theorems based upon a more precise relation between the original and reduced specifications than earlier ones, permitting the use of reduction to reason about a larger class of properties. In particular, we present reduction theorems that handle general liveness properties. [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISBNs :
- 9783540648963
- Database :
- Supplemental Index
- Journal :
- CONCUR'98 Concurrency Theory
- Publication Type :
- Book
- Accession number :
- 32890811
- Full Text :
- https://doi.org/10.1007/BFb0055631