Initial work on mutual exclusions of actions