@article{perkovic-tpds00,
	title = "A Protocol-Centric Approach to On-The-Fly Race Detection",
	author = "Dejan Perkovic and Pete Keleher",
	journal = {IEEE Transactions on Parallel and Distributed Systems (TPDS)},
	pages = {1058-1072},
	volume = {11},
	issue = {10},
	month = {October},
	year = {2000},
}