@inproceedings{PPoPP-2001-InoFH,
	author        = "Fumihiko Ino and Noriyuki Fujimoto and Kenichi Hagihara",
	booktitle     = "{Proceedings of the Eighth Symposium on Principles and Practice of Parallel Programming}",
	doi           = "10.1145/379539.379592",
	isbn          = "1-58113-346-4",
	pages         = "133--142",
	publisher     = "{ACM}",
	title         = "{LogGPS: a parallel computational model for synchronization analysis}",
	year          = 2001,
}