s)])) Location and Store algebras Domain m 2 Mappings Operations initMappings : Mappings addMapping : Ident \Theta Location \Theta Mappings ! Mappings fetchLoc : Ident \Theta Mappings ! Location Domain s 2 Store Operations initStore : Store intUpdate : In (0)