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]
Abstract is missing.