home
>
book reviews
> Xia Yong
Google >
Xia Yong
author : Xia Yong
Short works
An Operational Semantics for Timed RAISE. 1999.
(In
FM'99 volume 2
)