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...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge University Press
1993
|
| Schriftenreihe: | Distinguished dissertations in computer science
|
| Links: | https://doi.org/10.1017/CBO9780511569760 |
| Zusammenfassung: | 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. |
| Umfang: | 1 Online-Ressource (xvii, 180 Seiten) |
| ISBN: | 9780511569760 |
Internformat
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9780511569760 | ||
| 003 | UkCbUP | ||
| 005 | 20151005020621.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 090520s1993||||enk o ||1 0|eng|d | ||
| 020 | |a 9780511569760 | ||
| 100 | 1 | |a Davies, Jim |d 1964- | |
| 245 | 1 | 0 | |a Specification and proof in real-time CSP |c Jim Davies |
| 246 | 3 | |a Specification & Proof in Real Time CSP | |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 1993 | |
| 300 | |a 1 Online-Ressource (xvii, 180 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 490 | 1 | |a Distinguished dissertations in computer science | |
| 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. | ||
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780521450553 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781107403864 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/CBO9780511569760 |3 Volltext |
| 912 | |a ZDB-20-CTM | ||
| 912 | |a ZDB-20-CTM | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-20-CTM-CR9780511569760 |
|---|---|
| _version_ | 1825574050494152705 |
| adam_text | |
| any_adam_object | |
| author | Davies, Jim 1964- |
| author_facet | Davies, Jim 1964- |
| author_role | |
| author_sort | Davies, Jim 1964- |
| author_variant | j d jd |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01554nam a2200277 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9780511569760</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20151005020621.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">090520s1993||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511569760</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Davies, Jim</subfield><subfield code="d">1964-</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="3" ind2=" "><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-Ressource (xvii, 180 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Distinguished dissertations in computer science</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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780521450553</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781107403864</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/CBO9780511569760</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-20-CTM-CR9780511569760 |
| illustrated | Not Illustrated |
| indexdate | 2025-03-03T11:58:04Z |
| institution | BVB |
| isbn | 9780511569760 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (xvii, 180 Seiten) |
| psigel | ZDB-20-CTM TUM_PDA_CTM ZDB-20-CTM |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Distinguished dissertations in computer science |
| spelling | Davies, Jim 1964- Specification and proof in real-time CSP Jim Davies Specification & Proof in Real Time CSP Cambridge Cambridge University Press 1993 1 Online-Ressource (xvii, 180 Seiten) txt c cr Distinguished dissertations in computer science 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. Erscheint auch als Druck-Ausgabe 9780521450553 Erscheint auch als Druck-Ausgabe 9781107403864 |
| spellingShingle | Davies, Jim 1964- Specification and proof in real-time CSP |
| 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 |
| work_keys_str_mv | AT daviesjim specificationandproofinrealtimecsp AT daviesjim specificationproofinrealtimecsp |