Partial Locking for Protocols | Labstep