Цахим шуудангийн бүртгэл: Representación de Objetos OASIS en Teorías y su Traducción a un Modelo de Concurrencia