Bibliographic Details
| 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 |
