Chapter 7: Rely/Guarantee Reasoning and A/G Contracts: 7.2 Components for shared variable concurrency.
Saved in:
| Title: | Chapter 7: Rely/Guarantee Reasoning and A/G Contracts: 7.2 Components for shared variable concurrency. |
|---|---|
| Authors: | Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G. |
| Source: | Foundations & Trends in Electronic Design Automation. 2018, Vol. 12 Issue 2/3, p219-224. 6p. |
| Subjects: | Concurrent Aggregates (Computer program language), Suretyship & guaranty, Contracts, Mathematical models, Imperative programming, Mathematical variables, Mathematical symmetry, Benveniste, Albert, Nickovic, Dejan |
| Database: | Engineering Source |
Be the first to leave a comment!
