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
โฆ 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
Double diaphragms that can't be overload
๐
Article
๐
1998
๐
Elsevier Science
๐
English
โ 242 KB
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
โ
White, Curtis
๐
Fiction
๐
2019
๐
Melville House
๐
English
โ 122 KB
๐ 2 views
Mac security: An Apple that can't be bit
โ
Steven Furnell
๐
Article
๐
2010
๐
Elsevier Science
๐
English
โ 265 KB
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