[basex-talk] Modelling Checkin-Checkout using locks