Concurrency-preserving minimal process representation