@inproceedings{fmoods:DiBlasio+,
	address={London, UK, UK},
	author={Di Blasio, Paolo and Fisher, Kathleen and Talcott, Carolyn},
	booktitle={FMOODS '97: Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems},
	pages={73--88},
	publisher={Chapman \& Hall, Ltd.},
	title={Analysis for concurrent objects},
	year=1997,
}