Reference:

Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, and Jan Strejček. Reachability analysis of multithreaded software with asynchronous communication. In Ramaswamy Ramanujam and Sandeep Sen, editors, Proceedings of FSTTCS 2005, volume 3821 of Lecture Notes in Computer Science. Springer, December 2005.

Suggested BibTeX entry:

@inproceedings{BESS05b,
    author = {Ahmed Bouajjani and Javier Esparza and Stefan Schwoon and Jan Strej\v{c}ek},
    booktitle = {Proceedings of FSTTCS 2005},
    editor = {Ramaswamy Ramanujam and Sandeep Sen},
    month = {December},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Reachability analysis of multithreaded software with asynchronous communication},
    volume = {3821},
    year = {2005}
}