例文In process calculi, the sequentialisation operator is usually integrated with input or output, or both.