author : Xia Yong

Short works

• An Operational Semantics for Timed RAISE. 1999. (In FM'99 volume 2 )