HOME > Detail View

Detail View

Topology and category theory in computer science

Topology and category theory in computer science (Loan 2 times)

Material type
단행본
Personal Author
Reed, George M. Roscoe, A. W. Wachter, R. F.
Title Statement
Topology and category theory in computer science / edited by G.M. Reed, A.W. Roscoe, and R.F. Wachter.
Publication, Distribution, etc
Oxford :   Clarendon Press ;   New York :   Oxford University Press,   c1991.  
Physical Medium
xi, 390 p. : ill. ; 24 cm.
ISBN
0198537603 9780198537601
General Note
"[Papers from] the Oxford Topology Symposium was held on 27-30 June, 1989"--Pref.  
Bibliography, Etc. Note
Includes bibliographical references.
Subject Added Entry-Topical Term
Computer science -- Mathematics. Topology. Categories (Mathematics)
000 01296pamuu2200337 a 4500
001 000045338131
005 20070324160232
008 910424s1991 enka b 100 0 eng
010 ▼a 91016461
020 ▼a 0198537603
020 ▼a 9780198537601
035 ▼9 (DLC) 91016461
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
050 0 0 ▼a QA76.9.M35 ▼b T66 1991
082 0 0 ▼a 004/.01/51 ▼2 22
090 ▼a 004.0151 ▼b T675
245 0 0 ▼a Topology and category theory in computer science / ▼c edited by G.M. Reed, A.W. Roscoe, and R.F. Wachter.
260 ▼a Oxford : ▼b Clarendon Press ; ▼a New York : ▼b Oxford University Press, ▼c c1991.
300 ▼a xi, 390 p. : ▼b ill. ; ▼c 24 cm.
500 ▼a "[Papers from] the Oxford Topology Symposium was held on 27-30 June, 1989"--Pref.
504 ▼a Includes bibliographical references.
650 0 ▼a Computer science ▼x Mathematics.
650 0 ▼a Topology.
650 0 ▼a Categories (Mathematics)
700 1 ▼a Reed, George M.
700 1 ▼a Roscoe, A. W.
700 1 ▼a Wachter, R. F.
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 004.0151 T675 Accession No. 121143593 Availability Available Due Date Make a Reservation Service B M

Contents information

Table of Contents

A.W. Roscoe: Topology, computer science and the mathematics of convergence; Stepen Blamey: The soundness and completeness of axioms for CSP processes; Geoff Barrett & Michael Goldsmith: Classifying unbounded nondeterminism in CSP; Michael W. Mislove: Algebraic posets, algebraic cpo's and models of concurrency; J.W. de Bakker & J.J.M.M. Rutten: Concurrency semantics based on metric domain equations; Marta Z. Kwiatkowska: On topological characterization of behavioral properties; J.D. Lawson: Order and strongly sober compactifications; Michael B. Smyth: Totally bounded spaces and compact ordered spaces as domains of computation; Dieter Spreen: A characterization of effective topological spaces II; Klaus E. Grue: The importance of cardinality, separability, and compactness in computer science with an example from numerical signal analysis; T.Y. Kong: Digital topology: a comparison of the graph-based and topological approaches; D. Girault-Beauquier & M. Nivat: Tiling the plane with one tile; Narcisco Marti-Oliet & Jose Meseguer: An algebraic axiomatization of linear logic models; Joseph A. Goguen: Types as theories.


Information Provided By: : Aladin

New Arrivals Books in Related Fields

김종원 (2020)