The SDL specification of the sliding window protocol revisited:
Abstract: "We present the results of a case study in which the use of SDL tools was analysed on the basis of the sliding window protocol. We chose the SDL specification of the protocol which was first published by the ISO. While editing and simulating the SDL specification we found out that the...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
München
1996
|
| Series: | Technische Universität <München>: TUM-I
9614 |
| Subjects: | |
| Summary: | Abstract: "We present the results of a case study in which the use of SDL tools was analysed on the basis of the sliding window protocol. We chose the SDL specification of the protocol which was first published by the ISO. While editing and simulating the SDL specification we found out that the specification contains significant errors and does not meet the informal description of the protocol. We describe these errors and give a correct version of the SDL specification." |
| Physical Description: | 15 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011109109 | ||
| 003 | DE-604 | ||
| 005 | 20040416 | ||
| 007 | t | ||
| 008 | 961202s1996 gw d||| t||| 00||| ger d | ||
| 016 | 7 | |a 948531509 |2 DE-101 | |
| 035 | |a (OCoLC)36404488 | ||
| 035 | |a (DE-599)BVBBV011109109 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-91G | ||
| 088 | |a TUM I 9614 | ||
| 100 | 1 | |a Facchi, Christian |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The SDL specification of the sliding window protocol revisited |c Christian Facchi ; Markus Haubner ; Ursula Hinkel |
| 264 | 1 | |a München |c 1996 | |
| 300 | |a 15 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM-I |v 9614 | |
| 520 | 3 | |a Abstract: "We present the results of a case study in which the use of SDL tools was analysed on the basis of the sliding window protocol. We chose the SDL specification of the protocol which was first published by the ISO. While editing and simulating the SDL specification we found out that the specification contains significant errors and does not meet the informal description of the protocol. We describe these errors and give a correct version of the SDL specification." | |
| 650 | 4 | |a Computer network protocols | |
| 650 | 4 | |a Data transmission systems | |
| 650 | 4 | |a SDL (Computer program language) | |
| 700 | 1 | |a Haubner, Markus |e Verfasser |4 aut | |
| 700 | 1 | |a Hinkel, Ursula |e Verfasser |4 aut | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9614 |w (DE-604)BV006185376 |9 9614 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007443169 | ||
Record in the Search Index
| _version_ | 1804125600493862912 |
|---|---|
| any_adam_object | |
| author | Facchi, Christian Haubner, Markus Hinkel, Ursula |
| author_facet | Facchi, Christian Haubner, Markus Hinkel, Ursula |
| author_role | aut aut aut |
| author_sort | Facchi, Christian |
| author_variant | c f cf m h mh u h uh |
| building | Verbundindex |
| bvnumber | BV011109109 |
| ctrlnum | (OCoLC)36404488 (DE-599)BVBBV011109109 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01677nam a2200373 cb4500</leader><controlfield tag="001">BV011109109</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040416 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961202s1996 gw d||| t||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948531509</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)36404488</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011109109</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</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-12</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">TUM I 9614</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Facchi, Christian</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The SDL specification of the sliding window protocol revisited</subfield><subfield code="c">Christian Facchi ; Markus Haubner ; Ursula Hinkel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">15 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="1" ind2=" "><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9614</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We present the results of a case study in which the use of SDL tools was analysed on the basis of the sliding window protocol. We chose the SDL specification of the protocol which was first published by the ISO. While editing and simulating the SDL specification we found out that the specification contains significant errors and does not meet the informal description of the protocol. We describe these errors and give a correct version of the SDL specification."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data transmission systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">SDL (Computer program language)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Haubner, Markus</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hinkel, Ursula</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9614</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9614</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007443169</subfield></datafield></record></collection> |
| id | DE-604.BV011109109 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:04:08Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007443169 |
| oclc_num | 36404488 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM |
| owner_facet | DE-12 DE-91G DE-BY-TUM |
| physical | 15 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I |
| spelling | Facchi, Christian Verfasser aut The SDL specification of the sliding window protocol revisited Christian Facchi ; Markus Haubner ; Ursula Hinkel München 1996 15 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9614 Abstract: "We present the results of a case study in which the use of SDL tools was analysed on the basis of the sliding window protocol. We chose the SDL specification of the protocol which was first published by the ISO. While editing and simulating the SDL specification we found out that the specification contains significant errors and does not meet the informal description of the protocol. We describe these errors and give a correct version of the SDL specification." Computer network protocols Data transmission systems SDL (Computer program language) Haubner, Markus Verfasser aut Hinkel, Ursula Verfasser aut Technische Universität <München>: TUM-I 9614 (DE-604)BV006185376 9614 |
| spellingShingle | Facchi, Christian Haubner, Markus Hinkel, Ursula The SDL specification of the sliding window protocol revisited Technische Universität <München>: TUM-I Computer network protocols Data transmission systems SDL (Computer program language) |
| title | The SDL specification of the sliding window protocol revisited |
| title_auth | The SDL specification of the sliding window protocol revisited |
| title_exact_search | The SDL specification of the sliding window protocol revisited |
| title_full | The SDL specification of the sliding window protocol revisited Christian Facchi ; Markus Haubner ; Ursula Hinkel |
| title_fullStr | The SDL specification of the sliding window protocol revisited Christian Facchi ; Markus Haubner ; Ursula Hinkel |
| title_full_unstemmed | The SDL specification of the sliding window protocol revisited Christian Facchi ; Markus Haubner ; Ursula Hinkel |
| title_short | The SDL specification of the sliding window protocol revisited |
| title_sort | the sdl specification of the sliding window protocol revisited |
| topic | Computer network protocols Data transmission systems SDL (Computer program language) |
| topic_facet | Computer network protocols Data transmission systems SDL (Computer program language) |
| volume_link | (DE-604)BV006185376 |
| work_keys_str_mv | AT facchichristian thesdlspecificationoftheslidingwindowprotocolrevisited AT haubnermarkus thesdlspecificationoftheslidingwindowprotocolrevisited AT hinkelursula thesdlspecificationoftheslidingwindowprotocolrevisited |