๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Algebraic Techniques for Property Integration via Componentless Design

โœ Scribed by Qin, X.; Gabriel, F.; Harell, D.; El-Halwagi, M. M.


Book ID
127226949
Publisher
American Chemical Society
Year
2004
Tongue
English
Weight
77 KB
Volume
43
Category
Article
ISSN
0888-5885

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Simple proof techniques for property pre
โœ Ching-Tsun Chou ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 438 KB

Let s1 and s2 be two reactive systems related by simulation. For what kind of properties 0 can one infer st + @ (~1 satisfies @) from sa k @, or vice versa? This problem has been treated in the literature for various logics in which to express @. In this paper we make two simple observations by whic