Static Analysis of Communication for Asynchronous Concurrent Programming Languages

Naoki Kobayashi, Motoki Nakade, Akinori Yonezawa. Static Analysis of Communication for Asynchronous Concurrent Programming Languages. In Alan Mycroft, editor, Static Analysis, Second International Symposium, SAS 95, Glasgow, UK, September 25-27, 1995, Proceedings. Volume 983 of Lecture Notes in Computer Science, pages 225-242, Springer, 1995.

Abstract

Abstract is missing.