Specifying and verifying partial order properties using template MSCs (2004)

by B Genest, M Minea, A Muscholl, D Peled
Venue:In FoSSaCS’04, LNCS 2987