Domains and Processes (SEMANTICS STRUCTURES IN COMPUTATION Volume 1)
Contributors: Klaus Keimel (Editor); Guo-Qiang Zhang (Editor); Ying Ming Liu (Editor); Yixiang Chen (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 31, 2001
Language: eng
Format: Hardcover
Number of pages: 287
ISBN-13: 9780792371434
Subjects: Computer Programming; Mathematical logic; Mathematical theory of computation; Programming Languages - General; Congresses; Programming languages (Electronic computers); Programming Language Semantics; Computers; Computers - Languages / Programming; Computer Books: General; Programming - General; General; Logic; Philosophy / Logic; Semantics; Programming languages (Electro
First sentence: Topology has proved to bo a useful tool in the study of certain aspects of theoretical computer science.