Process algebra for parallel and distributed processing
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Boca Raton, FL [u.a.]
Chapman & Hall/CRC
2009
|
| Schriftenreihe: | Chapman & Hall/CRC computational science series
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV035268237 | ||
| 003 | DE-604 | ||
| 005 | 20090423 | ||
| 007 | t| | ||
| 008 | 090126s2009 xxud||| |||| 00||| eng d | ||
| 010 | |a 2008029295 | ||
| 020 | |a 9781420064865 |c alk. paper |9 978-1-4200-6486-5 | ||
| 035 | |a (OCoLC)612111371 | ||
| 035 | |a (DE-599)BVBBV035268237 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-11 |a DE-2070s | ||
| 050 | 0 | |a QA76.58 | |
| 082 | 0 | |a 004.01/51 | |
| 084 | |a ST 200 |0 (DE-625)143611: |2 rvk | ||
| 245 | 1 | 0 | |a Process algebra for parallel and distributed processing |c ed. by Michael Alexander ... |
| 264 | 1 | |a Boca Raton, FL [u.a.] |b Chapman & Hall/CRC |c 2009 | |
| 300 | |a XXII, 415 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Chapman & Hall/CRC computational science series | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Electronic data processing - Distributed processing | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 650 | 4 | |a Electronic data processing |x Distributed processing | |
| 650 | 4 | |a Formal methods (Computer science) | |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prozessalgebra |0 (DE-588)4283920-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Prozessalgebra |0 (DE-588)4283920-8 |D s |
| 689 | 0 | 1 | |a Parallelverarbeitung |0 (DE-588)4075860-6 |D s |
| 689 | 0 | 2 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Alexander, Michael |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017073655&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017073655 | |
Datensatz im Suchindex
| _version_ | 1820162654366334976 |
|---|---|
| adam_text |
Contents
Foreword
vii
Acknowledgments
ix
Introduction
xi
Editors
xix
Contributors
xx«
Part I Parallel Programming
1
1
Synthesizing and Verifying Multicore Parallelism
in Categories of Nested Code Graphs
3
Christopher Kumar Anand and Wolfram
Kahl
2
Semi-Explicit Parallel Programming in a Purely
Functional Style: GpH 47
Hans-Wolfgang Loidl, Phil Trinder, Kevin Hammond,
Abdallah
Al Zain,
and Clem Baker-Finch
3
Refinement of Parallel Algorithms
77
Fredrik Degerlund
and Kaisa Sere
Part II Distributed Systems
97
4
Analysis of Distributed Systems with mCRL2
99
Jan Friso Groóte, Aad
Mathijssen, Michel A. Renters,
Yaroslav S. Usenko, and Muck van
Weerdenburg
5
Business Process Specification and Analysis
129
Uwe Nestmann
and Frank Puhlmann
6
Behavioral Specification of Middleware Systems
161
Nelson
Souto Rosa
vi
Contents
7
Abstract
Machine
for Service-Oriented Mobility
199
Hervé
Paulino
8
Specifying and Implementing Secure Mobile Applications
235
Andrew Phillips
Part III Embedded Systems
285
9
Calculating Concurrency Using Circus
287
Alistair A. McEwan
10
PARS: A Process Algebraic Approach to Resources and Schedulers
331
MohammadReza Mousavi, Michel A. Renters, Twan
Basten,
and Michel
Chaudron
11
Formal Approach to Derivation of Concurrent Implementations
in Software Product Lines
359
Sergio Yovine, Ismail Assayad,
François-Xavier Défaut,
Marcelo
Zanconi, andAnanda
Basu
Index
403 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035268237 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.58 |
| callnumber-search | QA76.58 |
| callnumber-sort | QA 276.58 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 200 |
| ctrlnum | (OCoLC)612111371 (DE-599)BVBBV035268237 |
| dewey-full | 004.01/51 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.01/51 |
| dewey-search | 004.01/51 |
| dewey-sort | 14.01 251 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| 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">BV035268237</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090423</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090126s2009 xxud||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2008029295</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781420064865</subfield><subfield code="c">alk. paper</subfield><subfield code="9">978-1-4200-6486-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)612111371</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035268237</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-2070s</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.58</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.01/51</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 200</subfield><subfield code="0">(DE-625)143611:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Process algebra for parallel and distributed processing</subfield><subfield code="c">ed. by Michael Alexander ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boca Raton, FL [u.a.]</subfield><subfield code="b">Chapman & Hall/CRC</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXII, 415 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="0" ind2=" "><subfield code="a">Chapman & Hall/CRC computational science series</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing - Distributed processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Alexander, Michael</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017073655&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017073655</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV035268237 |
| illustrated | Illustrated |
| indexdate | 2025-01-02T18:25:48Z |
| institution | BVB |
| isbn | 9781420064865 |
| language | English |
| lccn | 2008029295 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017073655 |
| oclc_num | 612111371 |
| open_access_boolean | |
| owner | DE-11 DE-2070s |
| owner_facet | DE-11 DE-2070s |
| physical | XXII, 415 S. graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Chapman & Hall/CRC |
| record_format | marc |
| series2 | Chapman & Hall/CRC computational science series |
| spelling | Process algebra for parallel and distributed processing ed. by Michael Alexander ... Boca Raton, FL [u.a.] Chapman & Hall/CRC 2009 XXII, 415 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Chapman & Hall/CRC computational science series Includes bibliographical references and index Electronic data processing - Distributed processing Formal methods (Computer science) Parallel processing (Electronic computers) Datenverarbeitung Electronic data processing Distributed processing Verteiltes System (DE-588)4238872-7 gnd rswk-swf Parallelverarbeitung (DE-588)4075860-6 gnd rswk-swf Prozessalgebra (DE-588)4283920-8 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Prozessalgebra (DE-588)4283920-8 s Parallelverarbeitung (DE-588)4075860-6 s Verteiltes System (DE-588)4238872-7 s DE-604 Alexander, Michael Sonstige oth Digitalisierung UB Bayreuth application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017073655&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Process algebra for parallel and distributed processing Electronic data processing - Distributed processing Formal methods (Computer science) Parallel processing (Electronic computers) Datenverarbeitung Electronic data processing Distributed processing Verteiltes System (DE-588)4238872-7 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Prozessalgebra (DE-588)4283920-8 gnd |
| subject_GND | (DE-588)4238872-7 (DE-588)4075860-6 (DE-588)4283920-8 (DE-588)4143413-4 |
| title | Process algebra for parallel and distributed processing |
| title_auth | Process algebra for parallel and distributed processing |
| title_exact_search | Process algebra for parallel and distributed processing |
| title_full | Process algebra for parallel and distributed processing ed. by Michael Alexander ... |
| title_fullStr | Process algebra for parallel and distributed processing ed. by Michael Alexander ... |
| title_full_unstemmed | Process algebra for parallel and distributed processing ed. by Michael Alexander ... |
| title_short | Process algebra for parallel and distributed processing |
| title_sort | process algebra for parallel and distributed processing |
| topic | Electronic data processing - Distributed processing Formal methods (Computer science) Parallel processing (Electronic computers) Datenverarbeitung Electronic data processing Distributed processing Verteiltes System (DE-588)4238872-7 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Prozessalgebra (DE-588)4283920-8 gnd |
| topic_facet | Electronic data processing - Distributed processing Formal methods (Computer science) Parallel processing (Electronic computers) Datenverarbeitung Electronic data processing Distributed processing Verteiltes System Parallelverarbeitung Prozessalgebra Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017073655&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT alexandermichael processalgebraforparallelanddistributedprocessing |