Static analysis of communication for asynchronous concurrent programming languages (1995)

by K Kobayashi, M Nakade, A Yonezawa
Venue:SAS’95, LNCS 983