%0 Book
%A  edited by Klaus Keimel, Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xang Chen.
%T Domains and Processes :
%U /book/90097170/Domains-and-Processes/