𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Eliminating disjunctions of leads-to properties

✍ Scribed by Ken Calvert

Book ID
107766217
Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
560 KB
Volume
49
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Composing leads-to properties
Composing leads-to properties
✍ David Meier; Beverly Sanders πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 133 KB

Compositionality is of great practical importance when building systems from individual components. Unfortunately, leads-to properties are not, in general, compositional, and theorems describing the special cases where they are, are needed. In this paper, we develop a general theory of compositional