Domain Pattern Abstraction + Ptolemaic Abstract Domains = Environment Abstraction for Concurrent Systems (bibtex)
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$}
}
Powered by bibtexbrowser