The focus of our work is the object-oriented design and specification of distributed information systems applying the technique of stepwise refinement. Following the object-oriented paradigm, static and dynamic system properties have to be taken into account. The aspect of distribution brings in concurrency and communication.\ In this paper we formalize a refinement criterion for concurrent object systems which is inspired by the notion of serializable schedules as known from transaction processing theory.