Decreasing the Locks by Isolating the Concurrent Execution in Microprotocol Framework. - Daiki Higashihara; Xavier Défago (CANDAR, 2013)