IIST and UNU - UNU-IIST - United Nations University
IIST and UNU - UNU-IIST - United Nations University
IIST and UNU - UNU-IIST - United Nations University
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Yifeng Chen is a lecturer of the Department of computer Science at the <strong>University</strong> of Leicester.<br />
His research interest includes logics of computer science, programming <strong>and</strong> specification<br />
language designs, <strong>and</strong> formal specification. E-mail: Y.Chen@cs.le.ac.uk<br />
Zhiming Liu is a research fellow at <strong>UNU</strong>/<strong>IIST</strong>, on leave from Department of Computer Science<br />
at the <strong>University</strong> of Liecester, Liecester, Engl<strong>and</strong> where he is a lecturer in computer science.<br />
His research interests include theory of computing systems, including sound methods for specification,<br />
verification <strong>and</strong> refinement of fault-tolerant, real-time <strong>and</strong> concurrent systems, <strong>and</strong><br />
formal techniques for OO development. His teaching interests are Communication <strong>and</strong> Concurrency,<br />
Concurrent <strong>and</strong> Distributed Programming, Internet Security, Software Engineering,<br />
Formal specification <strong>and</strong> Design of Computer Systems. E-mail: Z.Liu@iis.unu.edu.<br />
Copyright c○ 2004 by <strong>UNU</strong>-<strong>IIST</strong>, Yifeng Chen <strong>and</strong> Zhiming Liu