5 ms·

Communicating sequential processes