The partitioned synchronization rule for planar extendible partial orders | IEEE Journals & Magazine | IEEE Xplore