A control-flow analysis for a calculus of concurrent objects
Paolo Di Blasio, Kathleen Fisher, Carolyn Talcott · IEEE Transactions on Software Engineering · 2000
We present a set-based control flow analysis for an imperative, concurrent object calculus extending the Fisher-Honsell-Mitchell functional object-oriented calculus described in Fisher, Honsell and Mitchell, (1993). The analysis is shown to be sound with respect to a transition-system semantics.