Process algebra semantics of f SDL door J.A. Bergstra