A Control-Flow Analysis for a Calculus of Concurrent Objects

P. di Blasio, K. Fisher, C. Talcott - A Control-Flow Analysis for a Calculus of Concurrent Objects

IEEE Transactions on Software Engineering 26:617--634, 2000

Author : P. di Blasio, K. Fisher, C. Talcott
Title : A Control-Flow Analysis for a Calculus of Concurrent Objects
Publication Type : IEEE Transactions on Software Engineering -
Address :
Date : 2000