Process algebra :: equational theories of communicating processes /
"Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unifie...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge :
Cambridge University Press,
©2010.
|
| Schriftenreihe: | Cambridge tracts in theoretical computer science ;
50. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | "Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation." "The authors describe the theory underlying the development, realization, and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided, and the axioms can be used to verify that a composed system has the required external behavior. As examples, two protocols are completely specified and verified in the text: the Alternating-Bit communication Protocol, and Fischer's Protocol of mutual exclusion." "The book serves as a reference text for researchers and graduate students in computer science, offering a complete overview of the field and referring to further literature where appropriate."--Jacket |
| Beschreibung: | 1 online resource (xvi, 460 pages) : illustrations |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 9780511714429 0511714424 9780511712340 0511712340 9781139195003 113919500X 9780511722493 0511722494 1107209595 9781107209596 1282560689 9781282560680 9786612560682 6612560681 0511713177 9780511713170 0511715676 9780511715679 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn667098802 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 100929s2010 enka ob 001 0 eng d | ||
| 010 | |z 2010275481 | ||
| 040 | |a IDEBK |b eng |e pn |c IDEBK |d YDXCP |d OSU |d N$T |d OCLCQ |d COO |d E7B |d CDX |d REDDC |d OCLCQ |d OCLCF |d CAMBR |d EBLCP |d DEBSZ |d OCLCQ |d PIFAG |d OTZ |d OCLCQ |d WY@ |d LUE |d OCLCQ |d K6U |d OCLCQ |d VLY |d AJS |d OCLCQ |d OCLCO |d UKAHL |d OCLCO |d ANO |d OCLCQ |d PSYSI |d INARC |d OCLCQ |d OCLCO |d OCLCL |d SFB |d OCLCQ | ||
| 015 | |a GBA964672 |2 bnb | ||
| 016 | 7 | |a 015302175 |2 Uk | |
| 019 | |a 641152621 |a 646843323 |a 647929592 |a 671182975 |a 742332727 |a 985271403 |a 985402536 |a 994915622 |a 1064740064 |a 1162391865 |a 1241763769 |a 1392328893 | ||
| 020 | |a 9780511714429 |q (electronic bk.) | ||
| 020 | |a 0511714424 |q (electronic bk.) | ||
| 020 | |a 9780511712340 |q (electronic bk.) | ||
| 020 | |a 0511712340 |q (electronic bk.) | ||
| 020 | |a 9781139195003 |q (electronic bk.) | ||
| 020 | |a 113919500X |q (electronic bk.) | ||
| 020 | |a 9780511722493 | ||
| 020 | |a 0511722494 | ||
| 020 | |a 1107209595 | ||
| 020 | |a 9781107209596 | ||
| 020 | |a 1282560689 | ||
| 020 | |a 9781282560680 | ||
| 020 | |a 9786612560682 | ||
| 020 | |a 6612560681 | ||
| 020 | |a 0511713177 | ||
| 020 | |a 9780511713170 | ||
| 020 | |a 0511715676 | ||
| 020 | |a 9780511715679 | ||
| 020 | |z 9780521820493 |q (hbk.) | ||
| 020 | |z 0521820499 |q (hbk.) | ||
| 024 | 8 | |a 9786612560682 | |
| 035 | |a (OCoLC)667098802 |z (OCoLC)641152621 |z (OCoLC)646843323 |z (OCoLC)647929592 |z (OCoLC)671182975 |z (OCoLC)742332727 |z (OCoLC)985271403 |z (OCoLC)985402536 |z (OCoLC)994915622 |z (OCoLC)1064740064 |z (OCoLC)1162391865 |z (OCoLC)1241763769 |z (OCoLC)1392328893 | ||
| 037 | |a 256068 |b MIL | ||
| 050 | 4 | |a QA76.58 |b .B34 2010 | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 082 | 7 | |a 004.0151 |2 22 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Baeten, J. C. M. |0 http://id.loc.gov/authorities/names/n88641972 | |
| 245 | 1 | 0 | |a Process algebra : |b equational theories of communicating processes / |c J.C.M. Baeten, T. Basten, M.A. Raniers. |
| 260 | |a Cambridge : |b Cambridge University Press, |c ©2010. | ||
| 300 | |a 1 online resource (xvi, 460 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Cambridge tracts in theoretical computer science ; |v 50 | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Foreword / Tony Hoare -- Foreword / Robin Milner -- Foreword / Jan Bergstra -- 1. Process algebra -- 2. Preliminaries -- 3. Transition systems -- 4. Basic process theory -- 5. Recursion -- 6. Sequential processes -- 7. Parallel and communicating processes -- 8. Abstraction -- 9. Timing -- 10. Data and states -- 11. Features -- 12. Semantics. | |
| 520 | 1 | |a "Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation." "The authors describe the theory underlying the development, realization, and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided, and the axioms can be used to verify that a composed system has the required external behavior. As examples, two protocols are completely specified and verified in the text: the Alternating-Bit communication Protocol, and Fischer's Protocol of mutual exclusion." "The book serves as a reference text for researchers and graduate students in computer science, offering a complete overview of the field and referring to further literature where appropriate."--Jacket | |
| 546 | |a English. | ||
| 650 | 0 | |a Parallel processing (Electronic computers) |0 http://id.loc.gov/authorities/subjects/sh85097826 | |
| 650 | 0 | |a Electronic data processing |x Distributed processing. |0 http://id.loc.gov/authorities/subjects/sh85042293 | |
| 650 | 6 | |a Parallélisme (Informatique) | |
| 650 | 6 | |a Traitement réparti. | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a Electronic data processing |x Distributed processing |2 fast | |
| 650 | 7 | |a Parallel processing (Electronic computers) |2 fast | |
| 700 | 1 | |a Basten, Thomas Geertruida Henricus, |d 1973- |0 http://id.loc.gov/authorities/names/no2006120395 | |
| 700 | 1 | |a Reniers, M. A. |q (Michel Adriaan), |d 1970- |1 https://id.oclc.org/worldcat/entity/E39PBJjxpvH43FkfbMvxWP3fbd |0 http://id.loc.gov/authorities/names/no2009205882 | |
| 758 | |i has work: |a Process algebra (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGw8VQvd8fWtyKh4hHftTd |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Baeten, J.C.M. |t Process algebra. |d Cambridge : Cambridge University Press, ©2010 |z 9780521820493 |w (OCoLC)318871880 |
| 830 | 0 | |a Cambridge tracts in theoretical computer science ; |v 50. |0 http://id.loc.gov/authorities/names/n86714937 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=317653 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26828733 | ||
| 938 | |a Coutts Information Services |b COUT |n 13255733 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL501280 | ||
| 938 | |a ebrary |b EBRY |n ebr10386990 | ||
| 938 | |a EBSCOhost |b EBSC |n 317653 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 256068 | ||
| 938 | |a YBP Library Services |b YANK |n 3375934 | ||
| 938 | |a YBP Library Services |b YANK |n 6983066 | ||
| 938 | |a YBP Library Services |b YANK |n 11971005 | ||
| 938 | |a YBP Library Services |b YANK |n 3286334 | ||
| 938 | |a Internet Archive |b INAR |n processalgebraeq0000baet | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn667098802 |
|---|---|
| _version_ | 1816881741432881152 |
| adam_text | |
| any_adam_object | |
| author | Baeten, J. C. M. |
| author2 | Basten, Thomas Geertruida Henricus, 1973- Reniers, M. A. (Michel Adriaan), 1970- |
| author2_role | |
| author2_variant | t g h b tgh tghb m a r ma mar |
| author_GND | http://id.loc.gov/authorities/names/n88641972 http://id.loc.gov/authorities/names/no2006120395 http://id.loc.gov/authorities/names/no2009205882 |
| author_facet | Baeten, J. C. M. Basten, Thomas Geertruida Henricus, 1973- Reniers, M. A. (Michel Adriaan), 1970- |
| author_role | |
| author_sort | Baeten, J. C. M. |
| author_variant | j c m b jcm jcmb |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.58 .B34 2010 |
| callnumber-search | QA76.58 .B34 2010 |
| callnumber-sort | QA 276.58 B34 42010 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Foreword / Tony Hoare -- Foreword / Robin Milner -- Foreword / Jan Bergstra -- 1. Process algebra -- 2. Preliminaries -- 3. Transition systems -- 4. Basic process theory -- 5. Recursion -- 6. Sequential processes -- 7. Parallel and communicating processes -- 8. Abstraction -- 9. Timing -- 10. Data and states -- 11. Features -- 12. Semantics. |
| ctrlnum | (OCoLC)667098802 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06324cam a2201069 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn667098802</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">100929s2010 enka ob 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2010275481</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">IDEBK</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">IDEBK</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OSU</subfield><subfield code="d">N$T</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">COO</subfield><subfield code="d">E7B</subfield><subfield code="d">CDX</subfield><subfield code="d">REDDC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">CAMBR</subfield><subfield code="d">EBLCP</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">PIFAG</subfield><subfield code="d">OTZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WY@</subfield><subfield code="d">LUE</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VLY</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">ANO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">PSYSI</subfield><subfield code="d">INARC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SFB</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBA964672</subfield><subfield code="2">bnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">015302175</subfield><subfield code="2">Uk</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">641152621</subfield><subfield code="a">646843323</subfield><subfield code="a">647929592</subfield><subfield code="a">671182975</subfield><subfield code="a">742332727</subfield><subfield code="a">985271403</subfield><subfield code="a">985402536</subfield><subfield code="a">994915622</subfield><subfield code="a">1064740064</subfield><subfield code="a">1162391865</subfield><subfield code="a">1241763769</subfield><subfield code="a">1392328893</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511714429</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511714424</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511712340</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511712340</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781139195003</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">113919500X</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511722493</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511722494</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1107209595</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781107209596</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1282560689</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781282560680</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786612560682</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6612560681</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511713177</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511713170</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0511715676</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511715679</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9780521820493</subfield><subfield code="q">(hbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">0521820499</subfield><subfield code="q">(hbk.)</subfield></datafield><datafield tag="024" ind1="8" ind2=" "><subfield code="a">9786612560682</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)667098802</subfield><subfield code="z">(OCoLC)641152621</subfield><subfield code="z">(OCoLC)646843323</subfield><subfield code="z">(OCoLC)647929592</subfield><subfield code="z">(OCoLC)671182975</subfield><subfield code="z">(OCoLC)742332727</subfield><subfield code="z">(OCoLC)985271403</subfield><subfield code="z">(OCoLC)985402536</subfield><subfield code="z">(OCoLC)994915622</subfield><subfield code="z">(OCoLC)1064740064</subfield><subfield code="z">(OCoLC)1162391865</subfield><subfield code="z">(OCoLC)1241763769</subfield><subfield code="z">(OCoLC)1392328893</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">256068</subfield><subfield code="b">MIL</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.58</subfield><subfield code="b">.B34 2010</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">052000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">037000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">013000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">032000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">067000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Baeten, J. C. M.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n88641972</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Process algebra :</subfield><subfield code="b">equational theories of communicating processes /</subfield><subfield code="c">J.C.M. Baeten, T. Basten, M.A. Raniers.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Cambridge :</subfield><subfield code="b">Cambridge University Press,</subfield><subfield code="c">©2010.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xvi, 460 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Cambridge tracts in theoretical computer science ;</subfield><subfield code="v">50</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Foreword / Tony Hoare -- Foreword / Robin Milner -- Foreword / Jan Bergstra -- 1. Process algebra -- 2. Preliminaries -- 3. Transition systems -- 4. Basic process theory -- 5. Recursion -- 6. Sequential processes -- 7. Parallel and communicating processes -- 8. Abstraction -- 9. Timing -- 10. Data and states -- 11. Features -- 12. Semantics.</subfield></datafield><datafield tag="520" ind1="1" ind2=" "><subfield code="a">"Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation." "The authors describe the theory underlying the development, realization, and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided, and the axioms can be used to verify that a composed system has the required external behavior. As examples, two protocols are completely specified and verified in the text: the Alternating-Bit communication Protocol, and Fischer's Protocol of mutual exclusion." "The book serves as a reference text for researchers and graduate students in computer science, offering a complete overview of the field and referring to further literature where appropriate."--Jacket</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Parallel processing (Electronic computers)</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85097826</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85042293</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Parallélisme (Informatique)</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Traitement réparti.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Reference.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Machine Theory.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Literacy.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Information Technology.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Data Processing.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Science.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Hardware</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallel processing (Electronic computers)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Basten, Thomas Geertruida Henricus,</subfield><subfield code="d">1973-</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2006120395</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Reniers, M. A.</subfield><subfield code="q">(Michel Adriaan),</subfield><subfield code="d">1970-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJjxpvH43FkfbMvxWP3fbd</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2009205882</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Process algebra (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGw8VQvd8fWtyKh4hHftTd</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Baeten, J.C.M.</subfield><subfield code="t">Process algebra.</subfield><subfield code="d">Cambridge : Cambridge University Press, ©2010</subfield><subfield code="z">9780521820493</subfield><subfield code="w">(OCoLC)318871880</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Cambridge tracts in theoretical computer science ;</subfield><subfield code="v">50.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n86714937</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=317653</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH26828733</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Coutts Information Services</subfield><subfield code="b">COUT</subfield><subfield code="n">13255733</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL501280</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10386990</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">317653</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">256068</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3375934</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">6983066</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">11971005</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3286334</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Internet Archive</subfield><subfield code="b">INAR</subfield><subfield code="n">processalgebraeq0000baet</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn667098802 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:17:32Z |
| institution | BVB |
| isbn | 9780511714429 0511714424 9780511712340 0511712340 9781139195003 113919500X 9780511722493 0511722494 1107209595 9781107209596 1282560689 9781282560680 9786612560682 6612560681 0511713177 9780511713170 0511715676 9780511715679 |
| language | English |
| oclc_num | 667098802 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xvi, 460 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Cambridge University Press, |
| record_format | marc |
| series | Cambridge tracts in theoretical computer science ; |
| series2 | Cambridge tracts in theoretical computer science ; |
| spelling | Baeten, J. C. M. http://id.loc.gov/authorities/names/n88641972 Process algebra : equational theories of communicating processes / J.C.M. Baeten, T. Basten, M.A. Raniers. Cambridge : Cambridge University Press, ©2010. 1 online resource (xvi, 460 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Cambridge tracts in theoretical computer science ; 50 Includes bibliographical references and index. Foreword / Tony Hoare -- Foreword / Robin Milner -- Foreword / Jan Bergstra -- 1. Process algebra -- 2. Preliminaries -- 3. Transition systems -- 4. Basic process theory -- 5. Recursion -- 6. Sequential processes -- 7. Parallel and communicating processes -- 8. Abstraction -- 9. Timing -- 10. Data and states -- 11. Features -- 12. Semantics. "Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation." "The authors describe the theory underlying the development, realization, and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided, and the axioms can be used to verify that a composed system has the required external behavior. As examples, two protocols are completely specified and verified in the text: the Alternating-Bit communication Protocol, and Fischer's Protocol of mutual exclusion." "The book serves as a reference text for researchers and graduate students in computer science, offering a complete overview of the field and referring to further literature where appropriate."--Jacket English. Parallel processing (Electronic computers) http://id.loc.gov/authorities/subjects/sh85097826 Electronic data processing Distributed processing. http://id.loc.gov/authorities/subjects/sh85042293 Parallélisme (Informatique) Traitement réparti. COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Electronic data processing Distributed processing fast Parallel processing (Electronic computers) fast Basten, Thomas Geertruida Henricus, 1973- http://id.loc.gov/authorities/names/no2006120395 Reniers, M. A. (Michel Adriaan), 1970- https://id.oclc.org/worldcat/entity/E39PBJjxpvH43FkfbMvxWP3fbd http://id.loc.gov/authorities/names/no2009205882 has work: Process algebra (Text) https://id.oclc.org/worldcat/entity/E39PCGw8VQvd8fWtyKh4hHftTd https://id.oclc.org/worldcat/ontology/hasWork Print version: Baeten, J.C.M. Process algebra. Cambridge : Cambridge University Press, ©2010 9780521820493 (OCoLC)318871880 Cambridge tracts in theoretical computer science ; 50. http://id.loc.gov/authorities/names/n86714937 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=317653 Volltext |
| spellingShingle | Baeten, J. C. M. Process algebra : equational theories of communicating processes / Cambridge tracts in theoretical computer science ; Foreword / Tony Hoare -- Foreword / Robin Milner -- Foreword / Jan Bergstra -- 1. Process algebra -- 2. Preliminaries -- 3. Transition systems -- 4. Basic process theory -- 5. Recursion -- 6. Sequential processes -- 7. Parallel and communicating processes -- 8. Abstraction -- 9. Timing -- 10. Data and states -- 11. Features -- 12. Semantics. Parallel processing (Electronic computers) http://id.loc.gov/authorities/subjects/sh85097826 Electronic data processing Distributed processing. http://id.loc.gov/authorities/subjects/sh85042293 Parallélisme (Informatique) Traitement réparti. COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Electronic data processing Distributed processing fast Parallel processing (Electronic computers) fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85097826 http://id.loc.gov/authorities/subjects/sh85042293 |
| title | Process algebra : equational theories of communicating processes / |
| title_auth | Process algebra : equational theories of communicating processes / |
| title_exact_search | Process algebra : equational theories of communicating processes / |
| title_full | Process algebra : equational theories of communicating processes / J.C.M. Baeten, T. Basten, M.A. Raniers. |
| title_fullStr | Process algebra : equational theories of communicating processes / J.C.M. Baeten, T. Basten, M.A. Raniers. |
| title_full_unstemmed | Process algebra : equational theories of communicating processes / J.C.M. Baeten, T. Basten, M.A. Raniers. |
| title_short | Process algebra : |
| title_sort | process algebra equational theories of communicating processes |
| title_sub | equational theories of communicating processes / |
| topic | Parallel processing (Electronic computers) http://id.loc.gov/authorities/subjects/sh85097826 Electronic data processing Distributed processing. http://id.loc.gov/authorities/subjects/sh85042293 Parallélisme (Informatique) Traitement réparti. COMPUTERS Reference. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Computer Literacy. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Hardware General. bisacsh Electronic data processing Distributed processing fast Parallel processing (Electronic computers) fast |
| topic_facet | Parallel processing (Electronic computers) Electronic data processing Distributed processing. Parallélisme (Informatique) Traitement réparti. COMPUTERS Reference. COMPUTERS Machine Theory. COMPUTERS Computer Literacy. COMPUTERS Information Technology. COMPUTERS Data Processing. COMPUTERS Computer Science. COMPUTERS Hardware General. Electronic data processing Distributed processing |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=317653 |
| work_keys_str_mv | AT baetenjcm processalgebraequationaltheoriesofcommunicatingprocesses AT bastenthomasgeertruidahenricus processalgebraequationaltheoriesofcommunicatingprocesses AT reniersma processalgebraequationaltheoriesofcommunicatingprocesses |