Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999 (Semantics Structures in Computation)