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

Enhanced pumphead that can't fail


Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
179 KB
Volume
1999
Category
Article
ISSN
0262-1762

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Hiding resources that can fail: An axiom
โœ Anna Philippou; Oleg Sokolsky; Insup Lee; Rance Cleaveland; Scott A. Smolka ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 144 KB

In earlier work, we presented a process algebra, PACSR, that uses a notion of resource failure to capture probabilistic behavior in reactive systems. PACSR also supports an operator for resource hiding. In this paper, we carefully consider the interaction between these two features from an axiomatic

Living in a World that Can't Be Fixed
โœ Curtis White ๐Ÿ“‚ Fiction ๐Ÿ“… 2019 ๐Ÿ› Melville House ๐ŸŒ en-US โš– 119 KB ๐Ÿ‘ 2 views

**"This is a book about counterculture, and that's a problem . . . "** So begins Curtis White's thrilling call for the revitalization of counterculture today. The problem, White argues, is twofold: first, most of us think of counterculture as a phenomenon stuck in the 1960s, and, second, wha

TGFฮฒ in prostate cancer: A growth inhibi
โœ Barrack, Evelyn R. ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 245 KB

A common feature of cancer cells is the autocrine production of growth promoters and the loss of function of tumor suppressors. In our search for such features of prostate cancer, we discovered that transforming growth factor beta 1 (TGF beta 1) levels are higher in prostate cancer than in normal pr