P

Initializing...

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