Autolavaggio implementation using Hoare's Monitor