Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby. An Approach to Formalization and Analysis of Message Passing Libraries. In Stefan Leue, Pedro Merino, editors, Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Volume 4916 of Lecture Notes in Computer Science, pages 164-181, Springer, 2007. [doi]
@inproceedings{PalmerDGK07,
title = {An Approach to Formalization and Analysis of Message Passing Libraries},
author = {Robert Palmer and Michael Delisi and Ganesh Gopalakrishnan and Robert M. Kirby},
year = {2007},
doi = {10.1007/978-3-540-79707-4_13},
url = {http://dx.doi.org/10.1007/978-3-540-79707-4_13},
tags = {analysis, systematic-approach},
researchr = {https://researchr.org/publication/PalmerDGK07},
cites = {0},
citedby = {0},
pages = {164-181},
booktitle = {Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers},
editor = {Stefan Leue and Pedro Merino},
volume = {4916},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-79706-7},
}