Domains and Processes

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

By: Klaus Keimel (Editor), Guo-Qiang Zhang (Editor), Ying Ming Liu (Editor)

Write A Review

Hardcover | 31 October 2001

At a Glance

Hardcover
292 Pages

Dimensions(cm)
24.13 x 16.51 x 2.54

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

or

Ships in 7 to 10 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Paperback

RRP $89.99

$64.99

28%
OFF

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Paperback

RRP $66.50

$33.99

49%
OFF

The C Programming Language

Prentice Hall Software

Paperback

RRP $107.04

$77.75

27%
OFF

Python Workout, Second Edition : 200 ten-minute exercises - Reuven Lerner

$55.75

26%
OFF

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Paperback

RRP $60.84

$55.75

The Practical Guide

Paperback

$98.75

Introduction to Programming Languages

Hardcover

$451.75

$Typesetting Mathematics With Latex - Robert Legato$

$65.75

28%
OFF

C# 12 in a Nutshell

The Definitive Reference

Paperback

RRP $133.00

$64.75

51%
OFF

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Paperback

RRP $114.00

$55.75

51%
OFF

Python for Excel

A Modern Environment for Automation and Data Analysis

Paperback

RRP $125.75

$60.99

51%
OFF

Python Automation For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $57.95

$44.75

23%
OFF

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Paperback

RRP $49.95

$38.75

22%
OFF

Learning Web Design

A Beginner's Guide to Html, Css, Javascript, and Web Graphics

Paperback

RRP $152.00

$73.75

51%
OFF

Learning Python : Powerful Object-Oriented Programming - Mark Lutz

$73.75

51%
OFF

Programming Rust

Fast, Safe Systems Development 2nd Edition

Paperback

RRP $152.00

$73.75

51%
OFF

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

Paperback

RRP $114.00

$55.75

51%
OFF

Java

An Introduction to Problem Solving and Programming, 8th Global Edition

Paperback

RRP $141.69

$105.75

25%
OFF

C++ How to Program, Global Edition

10th Edition

Paperback

RRP $167.95

$133.75

20%
OFF

Problem Solving and Program Design in C, Global Edition

8th Edition

Paperback

RRP $174.02

$133.75

23%
OFF

Preface	p. ix
Contributing Authors	p. xiii
Encounters Between Topology and Domain Theory	p. 1
Introduction	p. 1
Introductory Domain Theory	p. 3
The Scott Topology	p. 7
Locally Compact Spaces	p. 10
Spectral Theory	p. 11
Round Ideal Completions	p. 14
Ordered Spaces	p. 17
Compact Pospaces	p. 18
Spaces of Maximal Points	p. 19
The Domain of Closed Formal Balls	p. 23
Fixed Point Theory	p. 25
The Probabilistic Power Domain	p. 26
Open Problems and Research Directions	p. 28
Topological Appendix	p. 29
The Lawson Topology on Quasicontinuous Domains	p. 33
Introduction	p. 33
Quasicontiuous domains	p. 34
Strictly complete regularity of the Lawson topology	p. 36
U[subscript k]-admitting dcpos need not be sober	p. 41
Introduction	p. 41
U[subscript k]-admitting for locally compact dcpo's	p. 42
U[subscript k]-admitting does not always imply sober	p. 45
The Largest Topologically Cartesian Closed Categories of Domains as Topological Spaces	p. 51
Introduction and Preliminaries	p. 51
Relations between tcc and ccc categories	p. 53
FS is the largest tcc full subcategory of CONT[subscript [perpendicular, bottom]	p. 55
F-FS is the largest tcc full subcategory of CONT	p. 59
On the Equivalence of Some Approaches to Computability on the Real Line	p. 67
Introduction	p. 68
The TTE approach to real number computations	p. 71
The domain-theoretic approach to real number computability	p. 76
The language Real PCF	p. 84
The equivalence results	p. 91
Concluding remarks	p. 98
Appendix	p. 99
The continuous functionals of finite types over the reals	p. 103
Introduction	p. 103
The types	p. 105
The hereditarily total objects	p. 110
Density and co-density	p. 111
Limit spaces	p. 117
The traditional approach	p. 118
Compact Semantics on Bc-domains	p. 125
Introduction	p. 125
Preliminaries and Characterizations for Semantics Continuity	p. 127
The Compactness Theorem And Applications	p. 132
Conclusion	p. 136
Normal Subsets in Abstract Bases	p. 137
Introduction	p. 137
Prerequisites	p. 139
Normal subsets and sub-domains	p. 140
The dcpo class of abstract bases and a fixed point theorem	p. 145
Semantics of Logic Programs and Representation of Smyth Powerdomain	p. 151
Introduction	p. 152
Domains and information systems	p. 154
Main representation theorem	p. 158
Proofs	p. 160
Examples	p. 166
Semantics of disjunctive logic programs	p. 169
Clausal logic over sequent structures	p. 174
Conclusion	p. 179
Domains of view: a foundation for specification and analysis	p. 183
Introduction	p. 183
Kripke modal transition systems	p. 185
Fuzzy Kripke modal transition systems	p. 195
Modal Markov chains	p. 206
Modal relations	p. 209
Related work	p. 213
Semantic Theory and Proof System of Open Bisimulation for the [pi]-Calculus with Mismatching	p. 219
Introduction	p. 220
Operational Semantics of the [pi superscript [not equal]-Calculus	p. 222
Open Bisimulation and Its Symbolic Characterization	p. 225
Proof System for Open Bisimulation	p. 232
The Weak Case	p. 237
Conclusions	p. 241
Axiomatization without Prefix Combinator	p. 245
Introduction	p. 245
Preliminaries	p. 250
Polyadic X-Calculus	p. 252
A Process Calculus without Precedence	p. 256
Ground Bisimilarity for Atomic X-Calculus	p. 262
Axiomatization in the Absence of Prefix, Summation and Match Combinators	p. 264
Final Remarks	p. 271
Table of Contents provided by Syndetics. All Rights Reserved.

Domains and Processes

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

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

The C Programming Language

Prentice Hall Software

Python Workout, Second Edition

200 ten-minute exercises

Python All-in-One For Dummies

3rd Edition

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

The Practical Guide

Introduction to Programming Languages

Typesetting Mathematics With Latex

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

C# 12 in a Nutshell

The Definitive Reference

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

Python for Excel

A Modern Environment for Automation and Data Analysis

Python Automation For Dummies

For Dummies (Computer/Tech)

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Learning Web Design

A Beginner's Guide to Html, Css, Javascript, and Web Graphics

Learning Python

Powerful Object-Oriented Programming

C++ Programming Language, The

JavaScript - The Definitive Guide

Programming Rust

Fast, Safe Systems Development 2nd Edition

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

Java

An Introduction to Problem Solving and Programming, 8th Global Edition

C++ How to Program, Global Edition

10th Edition

Problem Solving and Program Design in C, Global Edition

8th Edition

This product is categorised by