Corresponding formal specifications with distributed systems