Reactive systems: modelling, specification and verification
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at pa...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cambridge
Cambridge University Press
2007
|
| Subjects: | |
| Online Access: | DE-12 DE-92 DE-29 Volltext |
| Summary: | Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner's CCS and its operational semantics are introduced, together with notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout |
| Item Description: | Abweichendes Veröffentlichungsdatum E-Book 2011 |
| Physical Description: | 1 Online-Ressource |
| ISBN: | 9780511814105 |
| DOI: | 10.1017/CBO9780511814105 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043944759 | ||
| 003 | DE-604 | ||
| 005 | 20241223 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s2007 xx o|||| 00||| eng d | ||
| 020 | |a 9780511814105 |c Online |9 978-0-511-81410-5 | ||
| 024 | 7 | |a 10.1017/CBO9780511814105 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511814105 | ||
| 035 | |a (OCoLC)967779810 | ||
| 035 | |a (DE-599)BVBBV043944759 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-29 |a DE-92 |a DE-83 | ||
| 082 | 0 | |a 006.330151 |2 22 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a ST 302 |0 (DE-625)143652: |2 rvk | ||
| 100 | 1 | |a Aceto, Luca |e Verfasser |0 (DE-588)1034561839 |4 aut | |
| 245 | 1 | 0 | |a Reactive systems |b modelling, specification and verification |c Luca Aceto [and others] |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2007 | |
| 300 | |a 1 Online-Ressource | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Abweichendes Veröffentlichungsdatum E-Book 2011 | ||
| 520 | |a Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner's CCS and its operational semantics are introduced, together with notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout | ||
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Expert systems (Computer science) / Validation | |
| 650 | 4 | |a Expert systems (Computer science) / Verification | |
| 650 | 4 | |a System design / Mathematical models | |
| 650 | 0 | 7 | |a Reaktives System |0 (DE-588)4637514-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwarespezifikation |0 (DE-588)4056186-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Reaktives System |0 (DE-588)4637514-4 |D s |
| 689 | 0 | 1 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | 2 | |a Softwarespezifikation |0 (DE-588)4056186-0 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 978-0-521-87546-2 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511814105 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 912 | |a ZDB-20-CBO | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-029353730 | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511814105 |l DE-12 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511814105 |l DE-92 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511814105 |l DE-29 |p ZDB-20-CBO |q UER_PDA_CBO_Kauf |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1819228637809868800 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Aceto, Luca |
| author_GND | (DE-588)1034561839 |
| author_facet | Aceto, Luca |
| author_role | aut |
| author_sort | Aceto, Luca |
| author_variant | l a la |
| building | Verbundindex |
| bvnumber | BV043944759 |
| classification_rvk | ST 230 ST 302 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9780511814105 (OCoLC)967779810 (DE-599)BVBBV043944759 |
| dewey-full | 006.330151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.330151 |
| dewey-search | 006.330151 |
| dewey-sort | 16.330151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1017/CBO9780511814105 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV043944759</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20241223</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2007 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511814105</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-81410-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511814105</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511814105</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)967779810</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043944759</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-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.330151</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 302</subfield><subfield code="0">(DE-625)143652:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Aceto, Luca</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1034561839</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reactive systems</subfield><subfield code="b">modelling, specification and verification</subfield><subfield code="c">Luca Aceto [and others]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</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="500" ind1=" " ind2=" "><subfield code="a">Abweichendes Veröffentlichungsdatum E-Book 2011</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner's CCS and its operational semantics are introduced, together with notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems (Computer science) / Validation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Expert systems (Computer science) / Verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design / Mathematical models</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Reaktives System</subfield><subfield code="0">(DE-588)4637514-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Reaktives System</subfield><subfield code="0">(DE-588)4637514-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\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">Druck-Ausgabe, Hardcover</subfield><subfield code="z">978-0-521-87546-2</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511814105</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</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="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029353730</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511814105</subfield><subfield code="l">DE-12</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/CBO9780511814105</subfield><subfield code="l">DE-92</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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511814105</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UER_PDA_CBO_Kauf</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043944759 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-23T11:00:27Z |
| institution | BVB |
| isbn | 9780511814105 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029353730 |
| oclc_num | 967779810 |
| open_access_boolean | |
| owner | DE-12 DE-29 DE-92 DE-83 |
| owner_facet | DE-12 DE-29 DE-92 DE-83 |
| physical | 1 Online-Ressource |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO ZDB-20-CBO UER_PDA_CBO_Kauf |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Aceto, Luca Verfasser (DE-588)1034561839 aut Reactive systems modelling, specification and verification Luca Aceto [and others] Cambridge Cambridge University Press 2007 1 Online-Ressource txt rdacontent c rdamedia cr rdacarrier Abweichendes Veröffentlichungsdatum E-Book 2011 Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner's CCS and its operational semantics are introduced, together with notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout Mathematisches Modell Expert systems (Computer science) / Validation Expert systems (Computer science) / Verification System design / Mathematical models Reaktives System (DE-588)4637514-4 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Reaktives System (DE-588)4637514-4 s Programmverifikation (DE-588)4135576-3 s Softwarespezifikation (DE-588)4056186-0 s 1\p DE-604 Erscheint auch als Druck-Ausgabe, Hardcover 978-0-521-87546-2 https://doi.org/10.1017/CBO9780511814105 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Aceto, Luca Reactive systems modelling, specification and verification Mathematisches Modell Expert systems (Computer science) / Validation Expert systems (Computer science) / Verification System design / Mathematical models Reaktives System (DE-588)4637514-4 gnd Softwarespezifikation (DE-588)4056186-0 gnd Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4637514-4 (DE-588)4056186-0 (DE-588)4135576-3 |
| title | Reactive systems modelling, specification and verification |
| title_auth | Reactive systems modelling, specification and verification |
| title_exact_search | Reactive systems modelling, specification and verification |
| title_full | Reactive systems modelling, specification and verification Luca Aceto [and others] |
| title_fullStr | Reactive systems modelling, specification and verification Luca Aceto [and others] |
| title_full_unstemmed | Reactive systems modelling, specification and verification Luca Aceto [and others] |
| title_short | Reactive systems |
| title_sort | reactive systems modelling specification and verification |
| title_sub | modelling, specification and verification |
| topic | Mathematisches Modell Expert systems (Computer science) / Validation Expert systems (Computer science) / Verification System design / Mathematical models Reaktives System (DE-588)4637514-4 gnd Softwarespezifikation (DE-588)4056186-0 gnd Programmverifikation (DE-588)4135576-3 gnd |
| topic_facet | Mathematisches Modell Expert systems (Computer science) / Validation Expert systems (Computer science) / Verification System design / Mathematical models Reaktives System Softwarespezifikation Programmverifikation |
| url | https://doi.org/10.1017/CBO9780511814105 |
| work_keys_str_mv | AT acetoluca reactivesystemsmodellingspecificationandverification |