Verification Of Message Passing Concurrent Systems