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

Subjects

Subjects :

CONCURRENT Aggregates (Computer program language)
SURETYSHIP & guaranty
CONTRACTS
MATHEMATICAL models
REASONING
PARALLEL programming
MATHEMATICAL symmetry

Details

Language :

English

ISSN :

15513939

Volume :

12

Issue :

2/3

Database :

Complementary Index

Journal :

Foundations & Trends in Electronic Design Automation

Publication Type :

Academic Journal

Accession number :

129317898

Full Text :

https://doi.org/10.1561/1000000053