On concurrent programming:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York [u.a.]
Springer
1997
|
| Series: | Graduate texts in computer science
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. [435] - 449 |
| Physical Description: | XIX, 473 S. Ill. |
| ISBN: | 0387949429 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011524707 | ||
| 003 | DE-604 | ||
| 005 | 20060927 | ||
| 007 | t| | ||
| 008 | 970901s1997 gw a||| |||| 00||| eng d | ||
| 016 | 7 | |a 951090992 |2 DE-101 | |
| 020 | |a 0387949429 |c Pp. : DM 88.00 |9 0-387-94942-9 | ||
| 035 | |a (OCoLC)247283232 | ||
| 035 | |a (DE-599)BVBBV011524707 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-19 |a DE-384 |a DE-739 |a DE-473 |a DE-91 |a DE-706 |a DE-634 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.642 | |
| 082 | 0 | |a 005.275 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 516f |2 stub | ||
| 100 | 1 | |a Schneider, Fred B. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a On concurrent programming |c Fred B. Schneider |
| 264 | 1 | |a New York [u.a.] |b Springer |c 1997 | |
| 300 | |a XIX, 473 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Graduate texts in computer science | |
| 500 | |a Literaturverz. S. [435] - 449 | ||
| 650 | 4 | |a Parallel programming (Computer science) | |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
| 689 | 0 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 1 | 1 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007755857&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007755857 | |
Record in the Search Index
| _version_ | 1815612366771978240 |
|---|---|
| adam_text |
FRED B. SCHNEIDER ON CONCURRENT PROGRAMMING SPRINGER CONTENTS PREFACE
VII LIST OF FIGURES XVII 1 INTRODUCTION 1 1.1 CONCURRENT PROGRAMS 1 1.2
COMMUNICATION AND SYNCHRONIZATION 2 1.3 UNDERSTANDING CONCURRENT
PROGRAMS 2 1.4 A PREVIEW 5 HISTORICAL NOTES FOR CHAPTER 1 5 EXERCISES
FOR CHAPTER 1 6 2 FORMAL LOGIC 9 2.1 FORMAL LOGICAL SYSTEMS 9 2.2
PROPOSITIONAL LOGIC 13 2.3 A PREDICATE LOGIC 23 2.4 SAFETY AND LIVENESS
REVISITED 42 HISTORICAL NOTES FOR CHAPTER 2 48 EXERCISES FOR CHAPTER 2
49 3 TEMPORAL LOGIC 55 3.1 INFORMAL PREVIEW 55 3.2 SYNTAX AND MEANING OF
FORMULAS 57 3.3 AXIOMS AND INFERENCE RULES *. 60 3.4 TEMPORAL LOGIC
APPLICATIONS 74 3.5 ABOUT MODAL LOGICS 79 HISTORICAL NOTES FOR CHAPTER 3
82 EXERCISES FOR CHAPTER 3 83 XIV CONTENTS NOTATION AND LOGIC FOR
SEQUENTIAL PROGRAMMING 91 4.1 NOTATION FOR SEQUENTIAL PROGRAMS 91 4.2
REASONING ABOUT PROGRAM STATES 95 4.3 PROOF OUTLINE LOGIC 99 4.4
ASSIGNMENT TO COMPOSITE VARIABLES 109 4.5 A PREDICATE TRANSFORMER 113
HISTORICAL NOTES FOR CHAPTER 4 122 EXERCISES FOR CHAPTER 4 123
CONCURRENCY AND INTERFERENCE 135 5.1 SPECIFYING CONCURRENCY 135 5.2
CONTROL PREDICATE AXIOMS 136 5.3 INTERFERENCE FREEDOM 137 5.4 HIDING
CONTROL PREDICATES IN DERIVED TERMS 148 5.5 SYNCHRONOUSLY ALTERED AND
SHARED ASSERTIONS 152 5.6 SPECIFYING SYNCHRONIZATION 155 5.7
SYNCHRONIZATION AND INTERFERENCE 158 HISTORICAL NOTES FOR CHAPTER 5 166
EXERCISES FOR CHAPTER 5 168 SAFETY PROPERTIES: INVARIANCE 175 6.1
INVARIANCE PROPERTIES 175 6.2 VERIFYING INVARIANCE PROPERTIES 176 6.3
EXCLUSION OF CONFIGURATIONS 180 6.4 DIRECT USE OF PROOF OUTLINES 182 6.5
DEVELOPING PROGRAMS FOR INVARIANCE PROPERTIES 184 HISTORICAL NOTES FOR
CHAPTER 6 197 EXERCISES FOR CHAPTER 6 198 SAFETY PROPERTIES WITH PAST
TERMS 205 7.1 HISTORICAL SAFETY PROPERTIES 205 7.2 PAST EXTENSIONS TO
PREDICATE LOGIC 206 7.3 VERIFYING HISTORICAL SAFETY PROPERTIES 211 7.4
DEVELOPING PROGRAMS FOR HISTORICAL SAFETY PROPERTIES 213 7.5 AUXILIARY
VARIABLES 218 7.6 SOME CAUTIONS , 228 HISTORICAL NOTES FOR CHAPTER 7 228
EXERCISES'FOR CHAPTER 7 230 VERIFYING ARBITRARY TEMPORAL LOGIC
PROPERTIES 239 8.1 5-TEMPORAL LOGIC REVISITED" 239 8.2 UNLESS PROPERTIES
AND DERIVATIVES 247 8.3 FAIRNESS ASSUMPTIONS 249 8.4 REASONING FROM
FAIRNESS ASSUMPTIONS 257 8.5 HELPFUL ACTIONS AND EVENTUALITIES 260 8.6
LIVENESS FOR MUTUAL EXCLUSION 269 CONTENTS HISTORICAL NOTES FOR CHAPTER
8 275 EXERCISES FOR CHAPTER 8 277 9 PROGRAMMING WITH FINE-GRAINED ATOMIC
ACTIONS 283 9.1 PRETENDING ATOMICITY 283 9.2 TRANSLATION-INDEPENDENT
REASONING 292 9.3 IMPLEMENTING CONDITION SYNCHRONIZATION 297 9.4
PROGRAMMING WITH THE SUBSET 300 9.5 SYNCHRONIZATION AND INTERFERENCE
REVISITED 308 9.6 INTERLOCK INSTRUCTIONS 315 9.7 EXAMPLE: BARRIER
SYNCHRONIZATION 319 HISTORICAL NOTES FOR CHAPTER 9 326 EXERCISES FOR
CHAPTER 9 327 10 SEMAPHORES, LOCKS, AND CONDITIONAL CRITICAL REGIONS 337
10.1 SEMAPHORES 337 10.2 CHANGE OF VARIABLE TO USE SEMAPHORES 342 10.3
BINARY SEMAPHORES AND LOCKS 346 10.4 SPLIT BINARY SEMAPHORE METHOD 349
10.5 CONDITIONAL CRITICAL REGIONS 360 HISTORICAL NOTES FOR CHAPTER 10
367 EXERCISES FOR CHAPTER 10 370 11 MESSAGE PASSING AND DISTRIBUTED
PROGRAMMING 377 11.1 ASYNCHRONOUS MESSAGE-PASSING 377 11.2 SYNCHRONOUS
MESSAGE-PASSING 382 11.3 DERIVATION OF DISTRIBUTED PROGRAMS 400 11.4
SHARED-VARIABLE REPRESENTATIONS 405 HISTORICAL NOTES FOR CHAPTER 11 413
EXERCISES FOR CHAPTER 11 416 12 PUTTING IT TOGETHER 427 12.1 ON
LANGUAGES 427 12.2 PRINCIPLES FOR VERIFYING SAFETY AND LIVENESS
PROPERTIES 429 12.3 PROOFS ONLY INCREASE CONFIDENCE 431 12.4 A TOOL AND
APPLICATIONS 433 HISTORICAL NOTES FOR CHAPTER 12 434 REFERENCES 435
INDEX 451 |
| any_adam_object | 1 |
| author | Schneider, Fred B. |
| author_facet | Schneider, Fred B. |
| author_role | aut |
| author_sort | Schneider, Fred B. |
| author_variant | f b s fb fbs |
| building | Verbundindex |
| bvnumber | BV011524707 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.642 |
| callnumber-search | QA76.642 |
| callnumber-sort | QA 276.642 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 ST 230 |
| classification_tum | DAT 516f |
| ctrlnum | (OCoLC)247283232 (DE-599)BVBBV011524707 |
| dewey-full | 005.275 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.275 |
| dewey-search | 005.275 |
| dewey-sort | 15.275 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | 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">BV011524707</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20060927</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">970901s1997 gw a||| |||| 00||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">951090992</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387949429</subfield><subfield code="c">Pp. : DM 88.00</subfield><subfield code="9">0-387-94942-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)247283232</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011524707</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.642</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.275</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schneider, Fred B.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On concurrent programming</subfield><subfield code="c">Fred B. Schneider</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 473 S.</subfield><subfield code="b">Ill.</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">Graduate texts in computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [435] - 449</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel programming (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</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">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=007755857&sequence=000001&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-007755857</subfield></datafield></record></collection> |
| id | DE-604.BV011524707 |
| illustrated | Illustrated |
| indexdate | 2024-11-13T13:01:22Z |
| institution | BVB |
| isbn | 0387949429 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007755857 |
| oclc_num | 247283232 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-384 DE-739 DE-473 DE-BY-UBG DE-91 DE-BY-TUM DE-706 DE-634 DE-83 DE-11 |
| owner_facet | DE-19 DE-BY-UBM DE-384 DE-739 DE-473 DE-BY-UBG DE-91 DE-BY-TUM DE-706 DE-634 DE-83 DE-11 |
| physical | XIX, 473 S. Ill. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| series2 | Graduate texts in computer science |
| spelling | Schneider, Fred B. Verfasser aut On concurrent programming Fred B. Schneider New York [u.a.] Springer 1997 XIX, 473 S. Ill. txt rdacontent n rdamedia nc rdacarrier Graduate texts in computer science Literaturverz. S. [435] - 449 Parallel programming (Computer science) Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 s Programmierung (DE-588)4076370-5 s DE-604 Parallelverarbeitung (DE-588)4075860-6 s HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007755857&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Schneider, Fred B. On concurrent programming Parallel programming (Computer science) Parallelverarbeitung (DE-588)4075860-6 gnd Programmierung (DE-588)4076370-5 gnd Nebenläufigkeit (DE-588)4115352-2 gnd |
| subject_GND | (DE-588)4075860-6 (DE-588)4076370-5 (DE-588)4115352-2 |
| title | On concurrent programming |
| title_auth | On concurrent programming |
| title_exact_search | On concurrent programming |
| title_full | On concurrent programming Fred B. Schneider |
| title_fullStr | On concurrent programming Fred B. Schneider |
| title_full_unstemmed | On concurrent programming Fred B. Schneider |
| title_short | On concurrent programming |
| title_sort | on concurrent programming |
| topic | Parallel programming (Computer science) Parallelverarbeitung (DE-588)4075860-6 gnd Programmierung (DE-588)4076370-5 gnd Nebenläufigkeit (DE-588)4115352-2 gnd |
| topic_facet | Parallel programming (Computer science) Parallelverarbeitung Programmierung Nebenläufigkeit |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007755857&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT schneiderfredb onconcurrentprogramming |