Topology and category theory in computer science:
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Oxford
Clarendon Press
1991
|
| Series: | Oxford science publications
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. 386 - 390 |
| Physical Description: | XI, 390 S. graph. Darst. |
| ISBN: | 0198537603 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004664873 | ||
| 003 | DE-604 | ||
| 005 | 20150127 | ||
| 007 | t| | ||
| 008 | 920109s1991 xx d||| |||| 10||| eng d | ||
| 020 | |a 0198537603 |9 0-19-853760-3 | ||
| 035 | |a (OCoLC)23732125 | ||
| 035 | |a (DE-599)BVBBV004664873 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-12 |a DE-384 |a DE-739 |a DE-29T |a DE-188 | ||
| 050 | 0 | |a QA76.9.M35 | |
| 082 | 0 | |a 004/.01/51 |2 20 | |
| 084 | |a SD 1989 |0 (DE-625)142723: |2 rvk | ||
| 084 | |a SK 280 |0 (DE-625)143228: |2 rvk | ||
| 084 | |a MAT 540f |2 stub | ||
| 084 | |a MAT 180f |2 stub | ||
| 084 | |a MAT 550f |2 stub | ||
| 245 | 1 | 0 | |a Topology and category theory in computer science |c ed. by G. M. Reed ... |
| 264 | 1 | |a Oxford |b Clarendon Press |c 1991 | |
| 300 | |a XI, 390 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Oxford science publications | |
| 500 | |a Literaturverz. S. 386 - 390 | ||
| 650 | 4 | |a Catégories (Mathématiques) | |
| 650 | 7 | |a Catégories (mathématiques) |2 ram | |
| 650 | 4 | |a Informatique - Mathématiques | |
| 650 | 7 | |a Informatique - Mathématiques |2 ram | |
| 650 | 4 | |a Topologie | |
| 650 | 7 | |a Topologie |2 ram | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Categories (Mathematics) | |
| 650 | 4 | |a Computer science |x Mathematics | |
| 650 | 4 | |a Topology | |
| 650 | 0 | 7 | |a Kategorientheorie |0 (DE-588)4120552-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Topologie |0 (DE-588)4060425-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1989 |z Oxford |2 gnd-content | |
| 689 | 0 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 1 | |a Topologie |0 (DE-588)4060425-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | 1 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Kategorientheorie |0 (DE-588)4120552-2 |D s |
| 689 | 2 | 1 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Topologie |0 (DE-588)4060425-1 |D s |
| 689 | 3 | 1 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 3 | |5 DE-604 | |
| 700 | 1 | |a Reed, George M. |e Sonstige |4 oth | |
| 711 | 2 | |a Symposium on General Topology and Applications |d 1989 |c Oxford |j Sonstige |0 (DE-588)3012475-X |4 oth | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002865728&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002865728 | |
Record in the Search Index
| _version_ | 1820868302939881472 |
|---|---|
| adam_text |
Contents
1 Topology, computer science, and the mathematics of
convergence
A. W. Roscoe
1.1 Introduction 1
1.2 Proving properties of fixed points 5
1.3 Induction over state spaces 12
1.4 Conclusions 25
2 The soundness and completeness of axioms for CSP
processes
Stephen Blarney
2.1 Introduction 29
2.2 The classic failures model 30
2.3 The infinitary model 37
3 Classifying unbounded nondeterminism in CSP
Geoff Barrett and Michael Goldsmith
3.1 Introduction: unboundedly nondeterministic CSP 57
3.2 Predeterministic processes 60
3.3 Restriction and the metric space 63
3.4 Topological properties of process implementations 66
3.5 The branching order of closed processes 69
3.6 Conclusions 74
4 Algebraic posets, algebraic cpo's and models of
concurrency
Michael W. Mislove
4.1 Introduction 75
4.2 Algebraic posets and algebraic cpo's 77
4.3 A trace semantics for CSP 88
4.4 A failures model for CSP 96
4.5 Making hiding continuous 101
4.6 Summary 109
5 Concurrency semantics based on metric domain equations
J. W. de Bakker and 3. J. M. M. Rutten
5.1 Introduction 113
viii Contents
5.2 Metric spaces and domain equations 116
5.3 Concurrency semantics 123
5.4 Labelled transition systems and bisimulation 146
6 On topological characterization of behavioural properties
Marta Z. Kwiatkowska,
6.1 Introduction 153
6.2 Notation and basic notions 155
6.3 The domain of traces 157
6.4 Asynchronous transition systems 159
6.5 Non interleaving semantics 164
6.6 Properties and systems 165
6.7 The 'good' and 'bad' things 166
6.8 Uniform behavioural properties 167
6.9 Safety properties in £ 169
6.10 Liveness properties in E 171
6.11 Fairness properties 173
6.12 Conclusion 174
7 Order and strongly sober compactifications
J. D. Lawson
7.1 Introduction 179
7.2 Compactly embeddable ordered spaces 180
7.3 Upper and lower semicontinuous functions 183
7.4 Quasi uniform spaces 189
7.5 Strongly sober compactifications 193
7.6 The Kiinzi Brummer quasi uniformity 196
7.7 Continuous posets 200
7.8 The Fell compactification 202
8 Totally bounded spaces and compact ordered spaces as
domains of computation
Michael B. Smyth
8.1 Introduction 207
8.2 Preliminaries 208
8.3 Totally bounded spaces 211
8.4 Compact ordered spaces 217
8.5 A generalized power domain 223
8.6 Discussion 226
9 A characterization of effective topological spaces II
Dieter Spreen
9.1 Introduction 231
Contents ix
9.2 Strongly effective spaces 234
9.3 Mal'cev topologies 237
9.4 On compatibility 239
9.5 The domain case 245
9.6 The metric case 247
9.7 Effective operators 249
10 The importance of cardinality, separability, and
compactness in computer science with an example from
numerical signal analysis
Klaus E. Grue
10.1 Introduction 257
10.2 An optimization problem 258
10.3 Further work 263
10.4 Conclusion 268
Appendix An example from numerical signal analysis 269
11 Digital topology: a comparison of the graph based and
topological approaches
T. Y. Kong and A. Rosenfeld
11.1 Introduction 273
11.2 Graph based digital pictures; conventional digital pictures . 274
11.3 Topological digital pictures 278
11.4 The fundamental group of a digital picture; continuous
analogues of graph based digital pictures 281
11.5 Graph based equivalents of topological digital pictures . . . 283
11.6 Khalimsky's Jordan curve theorem and a generalization . . 286
11.7 Concluding remarks 287
12 Tiling the plane with one tile
D. Girault Beauquier and M. Nivat
12.1 Introduction 291
12.2 Preliminaries 293
12.3 Combinatorics and curves 300
12.4 Tilings 304
12.5 Half periodicity 309
12.6 Surroundings of exact tiles 330
13 An algebraic axiomatization of linear logic models
Narciso Marti Oliet and Jose Meseguer
13.1 Introduction 335
13.2 Dualizing objects and linear categories 337
13.3 Linear logic models 340
x Contents
13.4 Cancellative linear logic 341
13.5 Girard algebras and quantale models 346
13.6 Categorical combinators 351
13.7 Concluding remarks 351
14 Types as theories
Joseph A. Goguen
14.1 Introduction 357
14.2 Types as theories 361
14.3 Object oriented concepts 373
14.4 Polymorphism is natural 379
14.5 Programming in the large 382
14.6 Summary 385 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV004664873 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.M35 |
| callnumber-search | QA76.9.M35 |
| callnumber-sort | QA 276.9 M35 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 1989 SK 280 |
| classification_tum | MAT 540f MAT 180f MAT 550f |
| ctrlnum | (OCoLC)23732125 (DE-599)BVBBV004664873 |
| dewey-full | 004/.01/51 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/51 |
| dewey-search | 004/.01/51 |
| dewey-sort | 14 11 251 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV004664873</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150127</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">920109s1991 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198537603</subfield><subfield code="9">0-19-853760-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23732125</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004664873</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.M35</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/51</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1989</subfield><subfield code="0">(DE-625)142723:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 280</subfield><subfield code="0">(DE-625)143228:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 180f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 550f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Topology and category theory in computer science</subfield><subfield code="c">ed. by G. M. Reed ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 390 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Oxford science publications</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 386 - 390</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Catégories (Mathématiques)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Catégories (mathématiques)</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique - Mathématiques</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatique - Mathématiques</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Topologie</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Topologie</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="x">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Topology</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Topologie</subfield><subfield code="0">(DE-588)4060425-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1989</subfield><subfield code="z">Oxford</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Topologie</subfield><subfield code="0">(DE-588)4060425-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Kategorientheorie</subfield><subfield code="0">(DE-588)4120552-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Topologie</subfield><subfield code="0">(DE-588)4060425-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Reed, George M.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Symposium on General Topology and Applications</subfield><subfield code="d">1989</subfield><subfield code="c">Oxford</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)3012475-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002865728&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002865728</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1989 Oxford gnd-content |
| genre_facet | Konferenzschrift 1989 Oxford |
| id | DE-604.BV004664873 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:22:13Z |
| institution | BVB |
| institution_GND | (DE-588)3012475-X |
| isbn | 0198537603 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002865728 |
| oclc_num | 23732125 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-12 DE-384 DE-739 DE-29T DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-12 DE-384 DE-739 DE-29T DE-188 |
| physical | XI, 390 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Clarendon Press |
| record_format | marc |
| series2 | Oxford science publications |
| spelling | Topology and category theory in computer science ed. by G. M. Reed ... Oxford Clarendon Press 1991 XI, 390 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Oxford science publications Literaturverz. S. 386 - 390 Catégories (Mathématiques) Catégories (mathématiques) ram Informatique - Mathématiques Informatique - Mathématiques ram Topologie Topologie ram Informatik Mathematik Categories (Mathematics) Computer science Mathematics Topology Kategorientheorie (DE-588)4120552-2 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Topologie (DE-588)4060425-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1989 Oxford gnd-content Informatik (DE-588)4026894-9 s Topologie (DE-588)4060425-1 s DE-604 Kategorientheorie (DE-588)4120552-2 s Datenverarbeitung (DE-588)4011152-0 s Reed, George M. Sonstige oth Symposium on General Topology and Applications 1989 Oxford Sonstige (DE-588)3012475-X oth HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002865728&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Topology and category theory in computer science Catégories (Mathématiques) Catégories (mathématiques) ram Informatique - Mathématiques Informatique - Mathématiques ram Topologie Topologie ram Informatik Mathematik Categories (Mathematics) Computer science Mathematics Topology Kategorientheorie (DE-588)4120552-2 gnd Datenverarbeitung (DE-588)4011152-0 gnd Informatik (DE-588)4026894-9 gnd Topologie (DE-588)4060425-1 gnd |
| subject_GND | (DE-588)4120552-2 (DE-588)4011152-0 (DE-588)4026894-9 (DE-588)4060425-1 (DE-588)1071861417 |
| title | Topology and category theory in computer science |
| title_auth | Topology and category theory in computer science |
| title_exact_search | Topology and category theory in computer science |
| title_full | Topology and category theory in computer science ed. by G. M. Reed ... |
| title_fullStr | Topology and category theory in computer science ed. by G. M. Reed ... |
| title_full_unstemmed | Topology and category theory in computer science ed. by G. M. Reed ... |
| title_short | Topology and category theory in computer science |
| title_sort | topology and category theory in computer science |
| topic | Catégories (Mathématiques) Catégories (mathématiques) ram Informatique - Mathématiques Informatique - Mathématiques ram Topologie Topologie ram Informatik Mathematik Categories (Mathematics) Computer science Mathematics Topology Kategorientheorie (DE-588)4120552-2 gnd Datenverarbeitung (DE-588)4011152-0 gnd Informatik (DE-588)4026894-9 gnd Topologie (DE-588)4060425-1 gnd |
| topic_facet | Catégories (Mathématiques) Catégories (mathématiques) Informatique - Mathématiques Topologie Informatik Mathematik Categories (Mathematics) Computer science Mathematics Topology Kategorientheorie Datenverarbeitung Konferenzschrift 1989 Oxford |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002865728&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT reedgeorgem topologyandcategorytheoryincomputerscience AT symposiumongeneraltopologyandapplicationsoxford topologyandcategorytheoryincomputerscience |