by Murali Talupur, Helmut Veith
Reference:
Domain Pattern Abstraction + Ptolemaic Abstract Domains = Environment Abstraction for Concurrent SystemsMurali Talupur, Helmut VeithExploiting Concurrency Efficiently and Correctly – (EC)__MATH0__, July 2008.
Bibtex Entry:
@inproceedings{ec2:talpur:veith08,
author = {Murali Talupur and Helmut Veith},
title = {Domain Pattern Abstraction + Ptolemaic Abstract Domains = Environment Abstraction for Concurrent Systems},
month = {July},
year = {2008},
booktitle = {Exploiting Concurrency Efficiently and Correctly -- (EC)$^2$}
}