As Severin mention there is no such thing as mutex in Motoko. An easy way to find is by using Querio. Just select </>Code and type in mo:mutex . More details on the forum.