Գրեք սա: Logic for concurrency and synchronisation