Concurrent Pattern Unification