A formal semantics for DAI language NUML

Manwu Xu, Jianfeng Lu, Fancong Zeng, Jinwen Dai. A formal semantics for DAI language NUML. J. Comput. Sci. Technol., 10(3):227-238, 1995. [doi]

Abstract

Abstract is missing.