Domain Pattern Abstraction + Ptolemaic Abstract Domains = Environment Abstraction for Concurrent Systems

Talupur, Murali; Veith, Helmut

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$}
}