Miquel Bertran, Francesc-Xavier Babot, August Climent, Miquel Nicolau. Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs. In Patrick Cousot, editor, Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings. Volume 2126 of Lecture Notes in Computer Science, pages 20-39, Springer, 2001. [doi]
@inproceedings{BertranBCN01,
title = {Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs},
author = {Miquel Bertran and Francesc-Xavier Babot and August Climent and Miquel Nicolau},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2126/21260020.htm},
researchr = {https://researchr.org/publication/BertranBCN01},
cites = {0},
citedby = {0},
pages = {20-39},
booktitle = {Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings},
editor = {Patrick Cousot},
volume = {2126},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42314-1},
}