Type-Based Analysis of Communication for Concurrent Programming Languages

Atsushi Igarashi, Naoki Kobayashi. Type-Based Analysis of Communication for Concurrent Programming Languages. In Pascal Van Hentenryck, editor, Static Analysis, 4th International Symposium, SAS 97, Paris, France, September 8-10, 1997, Proceedings. Volume 1302 of Lecture Notes in Computer Science, pages 187-201, Springer, 1997.

Possibly Related Publications

The following publications are possibly variants of this publication: