@article {9052,
	title = {Deterministic Replay for Message-passing Based Concurrent Programs},
	journal = {ACM Transactions on Design Automation of Electronic Systems},
	volume = {17},
	year = {2012},
	pages = {Article 22},
	author = {M. Elwakil and Z. Yang}
}
