Topology and Category Theory in Computer Science / Edition 1

Topology and Category Theory in Computer Science / Edition 1

ISBN-10:
0198537603
ISBN-13:
9780198537601
Pub. Date:
08/28/1991
Publisher:
Oxford University Press, USA

Hardcover

Current price is , Original price is $95.0. You
Select a Purchase Option (First Edition)
  • purchase options
    $74.71 $95.00 Save 21% Current price is $74.71, Original price is $95. You Save 21%.
  • purchase options

Overview

Topology and Category Theory in Computer Science / Edition 1

This volume reflects the growing use of techniques from topology and category theory in the field of theoretical computer science. In so doing it offers a source of new problems with a practical flavor while stimulating original ideas and solutions. Reflecting the latest innovations at the interface between mathematics and computer science, the work will interest researchers and advanced students in both fields.

Product Details

ISBN-13: 9780198537601
Publisher: Oxford University Press, USA
Publication date: 08/28/1991
Edition description: First Edition
Pages: 408
Product dimensions: 6.38(w) x 9.50(h) x 1.15(d)

Table of Contents

1. Topology, Computer Science and the Mathematics of Convergence, A. Roscoe
2. The Soundness and Completeness of Axioms for CSP Processes, Stephen Blamey
3. Classifying Unbounded Nondeterminism in CSP, G. Barrett and M. Goldsmith
4. Algebraic Posets, Algebraic CPO's and Models of Concurrency, M. Mislove
5. Concurrency Semantics Based on Metric Domain Equations, J. De Bakker and J. Rutten
6. On Topological Characterization of Behavioural Properties, M. Zwiatkowska
7. Order and Strongly Sober Compactifications, J. Lawson
8. Totally Bounded Spaces and Compact Ordered Spaces as Domains of Computation, M. Smyth
9. A Characterization of Effective Topological Spaces II, D. Spreen
10. The Importance of Cardinality, Separability, and Compactness in Computer Science with an Example from Numerical Signal Analysis, K. Grue
11. Digital Topology: A Comparison of the Graph-Based and Topological Approaches, T. Kong and A. Rosenfeld
12. Tiling the Plane with One Tile, D. Girault-Beauquier and M. Nivat
13. An Algebraic Axiomatization of Linear Logic Models, N. Marti-Oliet and J. Meseguer
14. Types as Theories, J. Goguen

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews

Topology and Category Theory in Computer Science 0 out of 5 based on 0 ratings. 0 reviews.