Specification and proof in real-time CSP:
This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ ma...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
1993
|
| Series: | Distinguished dissertations in computer science
|
| Subjects: | |
| Online Access: | BSB01 FHN01 Volltext |
| Summary: | This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given |
| Item Description: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Physical Description: | 1 online resource (xvii, 180 pages) |
| ISBN: | 9780511569760 |
| DOI: | 10.1017/CBO9780511569760 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043942149 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s1993 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511569760 |c Online |9 978-0-511-56976-0 | ||
| 024 | 7 | |a 10.1017/CBO9780511569760 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511569760 | ||
| 035 | |a (OCoLC)967776352 | ||
| 035 | |a (DE-599)BVBBV043942149 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 004/.33 |2 20 | |
| 084 | |a ST 234 |0 (DE-625)143621: |2 rvk | ||
| 100 | 1 | |a Davies, Jim |d 1964- |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Specification and proof in real-time CSP |c Jim Davies |
| 246 | 1 | 3 | |a Specification & Proof in Real Time CSP |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 1993 | |
| 300 | |a 1 online resource (xvii, 180 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Distinguished dissertations in computer science | |
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 520 | |a This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given | ||
| 650 | 4 | |a Real-time data processing | |
| 650 | 0 | 7 | |a CSP |0 (DE-588)4329097-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a CSP |0 (DE-588)4329097-8 |D s |
| 689 | 0 | 1 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-45055-3 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-1-107-40386-4 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511569760 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029351119 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511569760 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511569760 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804176884644184064 |
|---|---|
| any_adam_object | |
| author | Davies, Jim 1964- |
| author_facet | Davies, Jim 1964- |
| author_role | aut |
| author_sort | Davies, Jim 1964- |
| author_variant | j d jd |
| building | Verbundindex |
| bvnumber | BV043942149 |
| classification_rvk | ST 234 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9780511569760 (OCoLC)967776352 (DE-599)BVBBV043942149 |
| dewey-full | 004/.33 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.33 |
| dewey-search | 004/.33 |
| dewey-sort | 14 233 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1017/CBO9780511569760 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02842nmm a2200529zc 4500</leader><controlfield tag="001">BV043942149</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s1993 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511569760</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-56976-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511569760</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511569760</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)967776352</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043942149</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.33</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 234</subfield><subfield code="0">(DE-625)143621:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Davies, Jim</subfield><subfield code="d">1964-</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Specification and proof in real-time CSP</subfield><subfield code="c">Jim Davies</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Specification & Proof in Real Time CSP</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xvii, 180 pages)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Distinguished dissertations in computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CSP</subfield><subfield code="0">(DE-588)4329097-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">CSP</subfield><subfield code="0">(DE-588)4329097-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-45055-3</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-1-107-40386-4</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511569760</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029351119</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511569760</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511569760</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV043942149 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:17Z |
| institution | BVB |
| isbn | 9780511569760 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029351119 |
| oclc_num | 967776352 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (xvii, 180 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Distinguished dissertations in computer science |
| spelling | Davies, Jim 1964- Verfasser aut Specification and proof in real-time CSP Jim Davies Specification & Proof in Real Time CSP Cambridge Cambridge University Press 1993 1 online resource (xvii, 180 pages) txt rdacontent c rdamedia cr rdacarrier Distinguished dissertations in computer science Title from publisher's bibliographic system (viewed on 05 Oct 2015) This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given Real-time data processing CSP (DE-588)4329097-8 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content CSP (DE-588)4329097-8 s Echtzeitsystem (DE-588)4131397-5 s 2\p DE-604 Erscheint auch als Druckausgabe 978-0-521-45055-3 Erscheint auch als Druckausgabe 978-1-107-40386-4 https://doi.org/10.1017/CBO9780511569760 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Davies, Jim 1964- Specification and proof in real-time CSP Real-time data processing CSP (DE-588)4329097-8 gnd Echtzeitsystem (DE-588)4131397-5 gnd |
| subject_GND | (DE-588)4329097-8 (DE-588)4131397-5 (DE-588)4113937-9 |
| title | Specification and proof in real-time CSP |
| title_alt | Specification & Proof in Real Time CSP |
| title_auth | Specification and proof in real-time CSP |
| title_exact_search | Specification and proof in real-time CSP |
| title_full | Specification and proof in real-time CSP Jim Davies |
| title_fullStr | Specification and proof in real-time CSP Jim Davies |
| title_full_unstemmed | Specification and proof in real-time CSP Jim Davies |
| title_short | Specification and proof in real-time CSP |
| title_sort | specification and proof in real time csp |
| topic | Real-time data processing CSP (DE-588)4329097-8 gnd Echtzeitsystem (DE-588)4131397-5 gnd |
| topic_facet | Real-time data processing CSP Echtzeitsystem Hochschulschrift |
| url | https://doi.org/10.1017/CBO9780511569760 |
| work_keys_str_mv | AT daviesjim specificationandproofinrealtimecsp AT daviesjim specificationproofinrealtimecsp |