Үүнийг мессежээр илгээх: Logic for concurrency and synchronisation