You don't have to say anything about _time_ if that is an issue, that can be rewritten, but I still think that your definitions are going off in a new direction, and that will confuse the intended audience.

Doesn't π-calculus have the notion of concurrency as one of its cornerstones? How is it defined there?