@article{TSE00:DiBlasio+,
	address={Piscataway, NJ, USA},
	author={Di Blasio, Paolo and Fisher, Kathleen and Talcott, Carolyn},
	journal={IEEE Trans. Softw. Eng.},
	number=7,
	pages={617--634},
	publisher={IEEE Press},
	title={A Control-Flow Analysis for a Calculus of Concurrent Objects},
	volume=26,
	year=2000,
}