A correctness proof of the bakery protocol in CRL
Abstract: "A specification of a bakery protocol is given in [mu]CRL. We provide a simple correctness criterion for the protocol. Then the protocol is proven correct using a proof system that has been developed for [mu]CRL. The proof primarily consists of algebraic manipulations based on specifi...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
1994
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
94,73 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010162114 | ||
| 003 | DE-604 | ||
| 005 | 19950428 | ||
| 007 | t | ||
| 008 | 950428s1994 |||| 00||| engod | ||
| 035 | |a (OCoLC)33099181 | ||
| 035 | |a (DE-599)BVBBV010162114 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Groote, Jan F. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A correctness proof of the bakery protocol in CRL |c J. F. Groote ; H. P. Korver |
| 264 | 1 | |a Amsterdam |c 1994 | |
| 300 | |a 22 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 94,73 | |
| 520 | 3 | |a Abstract: "A specification of a bakery protocol is given in [mu]CRL. We provide a simple correctness criterion for the protocol. Then the protocol is proven correct using a proof system that has been developed for [mu]CRL. The proof primarily consists of algebraic manipulations based on specifications of abstract data types and elementary rules and axioms from process algebra." | |
| 650 | 4 | |a Computer network protocols | |
| 700 | 1 | |a Korver, Henri P. |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 94,73 |w (DE-604)BV008928356 |9 94,73 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006748578 | ||
Datensatz im Suchindex
| _version_ | 1804124556844072960 |
|---|---|
| any_adam_object | |
| author | Groote, Jan F. Korver, Henri P. |
| author_facet | Groote, Jan F. Korver, Henri P. |
| author_role | aut aut |
| author_sort | Groote, Jan F. |
| author_variant | j f g jf jfg h p k hp hpk |
| building | Verbundindex |
| bvnumber | BV010162114 |
| ctrlnum | (OCoLC)33099181 (DE-599)BVBBV010162114 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01384nam a2200289 cb4500</leader><controlfield tag="001">BV010162114</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19950428 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950428s1994 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33099181</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010162114</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="100" ind1="1" ind2=" "><subfield code="a">Groote, Jan F.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A correctness proof of the bakery protocol in CRL</subfield><subfield code="c">J. F. Groote ; H. P. Korver</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">22 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">94,73</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "A specification of a bakery protocol is given in [mu]CRL. We provide a simple correctness criterion for the protocol. Then the protocol is proven correct using a proof system that has been developed for [mu]CRL. The proof primarily consists of algebraic manipulations based on specifications of abstract data types and elementary rules and axioms from process algebra."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Korver, Henri P.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">94,73</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">94,73</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006748578</subfield></datafield></record></collection> |
| id | DE-604.BV010162114 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:47:33Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006748578 |
| oclc_num | 33099181 |
| open_access_boolean | |
| physical | 22 S. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Groote, Jan F. Verfasser aut A correctness proof of the bakery protocol in CRL J. F. Groote ; H. P. Korver Amsterdam 1994 22 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 94,73 Abstract: "A specification of a bakery protocol is given in [mu]CRL. We provide a simple correctness criterion for the protocol. Then the protocol is proven correct using a proof system that has been developed for [mu]CRL. The proof primarily consists of algebraic manipulations based on specifications of abstract data types and elementary rules and axioms from process algebra." Computer network protocols Korver, Henri P. Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 94,73 (DE-604)BV008928356 94,73 |
| spellingShingle | Groote, Jan F. Korver, Henri P. A correctness proof of the bakery protocol in CRL Computer network protocols |
| title | A correctness proof of the bakery protocol in CRL |
| title_auth | A correctness proof of the bakery protocol in CRL |
| title_exact_search | A correctness proof of the bakery protocol in CRL |
| title_full | A correctness proof of the bakery protocol in CRL J. F. Groote ; H. P. Korver |
| title_fullStr | A correctness proof of the bakery protocol in CRL J. F. Groote ; H. P. Korver |
| title_full_unstemmed | A correctness proof of the bakery protocol in CRL J. F. Groote ; H. P. Korver |
| title_short | A correctness proof of the bakery protocol in CRL |
| title_sort | a correctness proof of the bakery protocol in crl |
| topic | Computer network protocols |
| topic_facet | Computer network protocols |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT grootejanf acorrectnessproofofthebakeryprotocolincrl AT korverhenrip acorrectnessproofofthebakeryprotocolincrl |