Title: From Action Systems to Distributed Systems the Refinement Approach