A distributed ticket reservation system