A new coordination model is constructed for distributed shared memory parallel programs. It exploits typing of shared resources and formal specification of a priori known synchronization constraints.