Title: Specification-oriented semantics for communicating processes