A Formalization of the Paradigm Coordination Language, applied to the n-Arm Robot Problem