Books

Yixiang Chen, Guo-Qiang Zhang, Prakash Panangaden (eds).
Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 212,
Elsevier Science Publishers, 2008.

Guo-Qiang Zhang, J. Lawson, Y. Liu, and M.-K. Luo (eds).
Domain Theory, Logic, and Computation.
Kluwer Academic Publishers, 2003.

K. Keimel, Guo-Qiang Zhang, Y. Liu, and Y. Chen (eds).
Domains and Processes.
Kluwer Academic Publishers, 2001.

Guo-Qiang Zhang.
Logic of Domains.
Birkhauser, Boston, 1991.

Chapman & Hall/CRC Book Series: Studies in Informatics

Series Editor: Guo-Qiang Zhang