Proving termination of parallel programs:
Abstract: "In Owicki and Gries [1976] a well known proof method for verifying parallel programs based on the interference freedom test was introduced. We show that their extension of the method to deal with termination is incorrect and suggest two ways of repairing it."
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1990
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS
90,16 |
| Subjects: | |
| Online Access: | Volltext |
| Summary: | Abstract: "In Owicki and Gries [1976] a well known proof method for verifying parallel programs based on the interference freedom test was introduced. We show that their extension of the method to deal with termination is incorrect and suggest two ways of repairing it." |
| Physical Description: | 7 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008974454 | ||
| 003 | DE-604 | ||
| 005 | 20220207 | ||
| 007 | t | ||
| 008 | 940206s1990 |||| 00||| eng d | ||
| 035 | |a (OCoLC)23958411 | ||
| 035 | |a (DE-599)BVBBV008974454 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-91G | ||
| 100 | 1 | |a Apt, Krzysztof R. |d 1949- |e Verfasser |0 (DE-588)110139763 |4 aut | |
| 245 | 1 | 0 | |a Proving termination of parallel programs |c K. R. Apt ; F. S. de Boer ; E.-R. Olderog |
| 264 | 1 | |a Amsterdam |c 1990 | |
| 300 | |a 7 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |v 90,16 | |
| 520 | 3 | |a Abstract: "In Owicki and Gries [1976] a well known proof method for verifying parallel programs based on the interference freedom test was introduced. We show that their extension of the method to deal with termination is incorrect and suggest two ways of repairing it." | |
| 650 | 4 | |a Computer programs |x Verification | |
| 650 | 4 | |a Parallel programming (Computer science) | |
| 700 | 1 | |a Boer, Frank S. de |e Verfasser |4 aut | |
| 700 | 1 | |a Olderog, Ernst-Rüdiger |d 1955- |e Verfasser |0 (DE-588)136626890 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |
| 830 | 0 | |a Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |v 90,16 |w (DE-604)BV008928356 |9 90,16 | |
| 856 | 4 | 1 | |u https://ir.cwi.nl/pub/5735 |x Verlag |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005926028 | ||
Record in the Search Index
| _version_ | 1804123312494739456 |
|---|---|
| any_adam_object | |
| author | Apt, Krzysztof R. 1949- Boer, Frank S. de Olderog, Ernst-Rüdiger 1955- |
| author_GND | (DE-588)110139763 (DE-588)136626890 |
| author_facet | Apt, Krzysztof R. 1949- Boer, Frank S. de Olderog, Ernst-Rüdiger 1955- |
| author_role | aut aut aut |
| author_sort | Apt, Krzysztof R. 1949- |
| author_variant | k r a kr kra f s d b fsd fsdb e r o ero |
| building | Verbundindex |
| bvnumber | BV008974454 |
| collection | ebook |
| ctrlnum | (OCoLC)23958411 (DE-599)BVBBV008974454 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01623nam a2200361 cb4500</leader><controlfield tag="001">BV008974454</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220207 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1990 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)23958411</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008974454</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-29T</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Apt, Krzysztof R.</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)110139763</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proving termination of parallel programs</subfield><subfield code="c">K. R. Apt ; F. S. de Boer ; E.-R. Olderog</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">7 S.</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="1" ind2=" "><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS</subfield><subfield code="v">90,16</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In Owicki and Gries [1976] a well known proof method for verifying parallel programs based on the interference freedom test was introduced. We show that their extension of the method to deal with termination is incorrect and suggest two ways of repairing it."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs</subfield><subfield code="x">Verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel programming (Computer science)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Boer, Frank S. de</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Olderog, Ernst-Rüdiger</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136626890</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS</subfield><subfield code="v">90,16</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">90,16</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://ir.cwi.nl/pub/5735</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005926028</subfield></datafield></record></collection> |
| id | DE-604.BV008974454 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:27:46Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005926028 |
| oclc_num | 23958411 |
| open_access_boolean | 1 |
| owner | DE-29T DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-91G DE-BY-TUM |
| physical | 7 S. |
| psigel | ebook |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| series | Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS |
| spelling | Apt, Krzysztof R. 1949- Verfasser (DE-588)110139763 aut Proving termination of parallel programs K. R. Apt ; F. S. de Boer ; E.-R. Olderog Amsterdam 1990 7 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS 90,16 Abstract: "In Owicki and Gries [1976] a well known proof method for verifying parallel programs based on the interference freedom test was introduced. We show that their extension of the method to deal with termination is incorrect and suggest two ways of repairing it." Computer programs Verification Parallel programming (Computer science) Boer, Frank S. de Verfasser aut Olderog, Ernst-Rüdiger 1955- Verfasser (DE-588)136626890 aut Erscheint auch als Online-Ausgabe Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS 90,16 (DE-604)BV008928356 90,16 https://ir.cwi.nl/pub/5735 Verlag kostenfrei Volltext |
| spellingShingle | Apt, Krzysztof R. 1949- Boer, Frank S. de Olderog, Ernst-Rüdiger 1955- Proving termination of parallel programs Centrum voor Wiskunde en Informatica <Amsterdam>/ Department of Computer Science: Report CS Computer programs Verification Parallel programming (Computer science) |
| title | Proving termination of parallel programs |
| title_auth | Proving termination of parallel programs |
| title_exact_search | Proving termination of parallel programs |
| title_full | Proving termination of parallel programs K. R. Apt ; F. S. de Boer ; E.-R. Olderog |
| title_fullStr | Proving termination of parallel programs K. R. Apt ; F. S. de Boer ; E.-R. Olderog |
| title_full_unstemmed | Proving termination of parallel programs K. R. Apt ; F. S. de Boer ; E.-R. Olderog |
| title_short | Proving termination of parallel programs |
| title_sort | proving termination of parallel programs |
| topic | Computer programs Verification Parallel programming (Computer science) |
| topic_facet | Computer programs Verification Parallel programming (Computer science) |
| url | https://ir.cwi.nl/pub/5735 |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT aptkrzysztofr provingterminationofparallelprograms AT boerfranksde provingterminationofparallelprograms AT olderogernstrudiger provingterminationofparallelprograms |