author : Xia Yong

Papers/Articles

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