P
Initializing...
§4.1, p. 560 — expected cost of a lock wait: $\pi(\tau)C+\int_0^\tau(1-\pi(t))\,dt$ · Prove2Me