ഒരു സെമാഫോർ, മ്യൂട്ടക്സ്, ഉപയോഗിക്കുന്നുണ്ടെന്നും ബൂളിയൻ ഗ്ലോബൽ വേരിയബിളായ ഒരു ബൂളിയൻ പാരാമീറ്റർ ഉണ്ടെന്നും അവർ കണ്ടെത്തി.
ஒரு மியூடெக்ஸ் , அதாவது ஒரு செமாஃபோர், மற்றும் பூலியன் பராமீட்டர் ஒன்று பூலியன் குளோபல் வேரியபல் ஆக இருப்பதை அவர்கள் கண்டு பிடித்தனர்.