Skip to main content
SpringerLink
Log in
Book cover

Domains and Processes

Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Klaus Keimel

    1. Darmstadt University of Technology, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Guo-Qiang Zhang

    1. Case Western Reserve University, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ying-Ming Liu

    1. Sichuan University, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Yi-Xang Chen

    1. Shanghai Normal University, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Semantics Structures in Computation (SECO, volume 1)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Encounters Between Topology and Domain Theory

    • Jimmie D. Lawson
    Pages 1-32

  3. The Lawson Topology on Quasicontinuous Domains

    • Xiao-Quan Xu
    Pages 33-40

  4. U K -Admitting DCPOS Need not be Sober

    • Hui Kou
    Pages 41-50

  5. The Largest Topologically Cartesian Closed Categories of Domains as Topological Spaces

    • Hui Kou, Maokang Luo
    Pages 51-66

  6. On The Equivalence of Some Approaches to Computability on the Real Line

    • Dieter Spreen, Holger Schulz
    Pages 67-101

  7. The Continuous Functionals of Finite Types Over the Reals

    • Dag Normann
    Pages 103-124

  8. Compact Semantics on BC-Domains

    • Tai-he Fan, Guo-Jun Wang
    Pages 125-136

  9. Normal Subsets in Abstract Bases

    • Lei Fan, Chong-You Zheng
    Pages 137-149

  10. Semantics of Logic Programs and Representation of Smyth Powerdomain

    • Guo-Qiang Zhang, William C. Rounds
    Pages 151-181

  11. Domains of View: A Foundation for Specification and Analysis

    • Michael Huth
    Pages 183-218

  12. Semantic Theory and Proof System of Open Bisimulation for the π-Calculus with Mismatching

    • Zhoujun Li, Huowang Chen
    Pages 219-244

  13. Axiomatization Without Prefix Combinator

    • Yuxi Fu
    Pages 245-273
Back to top

Keywords

About this book

Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi.
This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical computer science.

Editors and Affiliations

  • Darmstadt University of Technology, Germany

    Klaus Keimel

  • Case Western Reserve University, USA

    Guo-Qiang Zhang

  • Sichuan University, China

    Ying-Ming Liu

  • Shanghai Normal University, China

    Yi-Xang Chen

Bibliographic Information

  • Book Title: Domains and Processes

  • Book Subtitle: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

  • Editors: Klaus Keimel, Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xang Chen

  • Series Title: Semantics Structures in Computation

  • DOI: https://doi.org/10.1007/978-94-010-0654-5

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Kluwer Academic Publishers 2001

  • Hardcover ISBN: 978-0-7923-7143-4Published: 31 October 2001

  • Softcover ISBN: 978-94-010-3859-1Published: 17 September 2012

  • eBook ISBN: 978-94-010-0654-5Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: XIV, 273

  • Topics: Logic, Programming Languages, Compilers, Interpreters, Mathematical Logic and Foundations

Publish with us

Policies and ethics

Back to top

Search

Navigation