Re: [basex-talk] Modelling Checkin-Checkout using locks