Process algebra nonstandard timing door C.A. Middelburg