Treffer: Chapter 7: Rely/Guarantee Reasoning and A/G Contracts: 7.3 Contracts for shared variable concurrency.

Title:
Chapter 7: Rely/Guarantee Reasoning and A/G Contracts: 7.3 Contracts 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, p224-227, 4p
Subject Terms:
CONCURRENT Aggregates (Computer program language), SURETYSHIP & guaranty, CONTRACTS, MATHEMATICAL models, REASONING, PARALLEL programming, MATHEMATICAL symmetry
People:
BENVENISTE, Albert, NICKOVIC, Dejan
Database:
Complementary Index