No CrossRef data available.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
Published online by Cambridge University Press: 16 June 2015
The International Symposium on Domain Theory (ISDT) is a conference series intended to be a forum for researchers in domain theory and its applications. Topics include topological and logical aspects of domains; categories of domains and powerdomains; continuous posets and their representations; partial orders, lattice theory and metric spaces; types, process algebra and concurrency; non-classical and partial logics; programming language semantics; applications in computer science and mathematics. This conference series was founded by Yingming Liu, Yixiang Chen, Klaus Keimel, and Guo-Qiang Zhang. All ISDT events have taken place in China. The first ISDT was held in Shanghai, October 17–24, 1999; the second ISDT was held in Chengdu, October 22–26, 2001; the third ISDT occurred in Xi'an, China, May 10–14, 2004; the fourth ISDT was held in Changsha, June 2–6, 2006; and the fifth ISDT took place in Shanghai, September 11–14, 2009.
You have
Access