Communicating process architectures 2009 :: WoTUG-32 /
"This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all stru...
Gespeichert in:
| Körperschaften: | , |
|---|---|
| Weitere Verfasser: | |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Washington, D.C. :
IOS Press,
©2009.
|
| Schriftenreihe: | Concurrent systems engineering series ;
v. 67. |
| Schlagworte: | |
| Online-Zugang: | DE-862 DE-863 |
| Zusammenfassung: | "This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent - so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications."--Jacket. |
| Beschreibung: | 1 online resource (x, 407 pages) : illustrations |
| Bibliographie: | Includes bibliographical references and indexes. |
| ISBN: | 9781607505136 1607505134 6612600926 1282600923 9781282600928 9786612600920 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn591152273 | ||
| 003 | OCoLC | ||
| 005 | 20250103110447.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 100401s2009 ne a ob 101 0 eng d | ||
| 010 | |z 2009937770 | ||
| 040 | |a IOSPR |b eng |e pn |c IOSPR |d EBLCP |d N$T |d YDXCP |d IDEBK |d E7B |d OCLCQ |d MHW |d OCLCQ |d DEBSZ |d OCLCQ |d OCLCO |d OCLCF |d OCL |d OCLCO |d OCLCQ |d OCLCO |d AZK |d LOA |d JBG |d AGLDB |d MOR |d PIFAG |d ZCU |d MERUC |d OCLCQ |d U3W |d STF |d WRM |d VTS |d ICG |d INT |d NRAMU |d VT2 |d OCLCQ |d WYU |d OCLCQ |d DKC |d OCLCQ |d M8D |d OCLCQ |d UKCRE |d AJS |d OCLCO |d OCLCQ |d QGK |d OCLCO |d OCLCQ |d OCLCL |d FUG |d OCLCL |d OCLCO | ||
| 066 | |c (S | ||
| 019 | |a 618851466 |a 647899348 |a 764534433 |a 956751460 |a 960282668 |a 961640118 |a 962625932 |a 966260168 |a 988458874 |a 992032563 |a 1037904986 |a 1038655445 |a 1045524354 |a 1066439568 |a 1081266362 |a 1153534493 |a 1228583006 |a 1259125024 | ||
| 020 | |a 9781607505136 | ||
| 020 | |a 1607505134 | ||
| 020 | |z 1607500655 |q (pbk.) | ||
| 020 | |z 9781607500650 |q (pbk.) | ||
| 020 | |a 6612600926 | ||
| 020 | |a 1282600923 | ||
| 020 | |a 9781282600928 | ||
| 020 | |a 9786612600920 | ||
| 035 | |a (OCoLC)591152273 |z (OCoLC)618851466 |z (OCoLC)647899348 |z (OCoLC)764534433 |z (OCoLC)956751460 |z (OCoLC)960282668 |z (OCoLC)961640118 |z (OCoLC)962625932 |z (OCoLC)966260168 |z (OCoLC)988458874 |z (OCoLC)992032563 |z (OCoLC)1037904986 |z (OCoLC)1038655445 |z (OCoLC)1045524354 |z (OCoLC)1066439568 |z (OCoLC)1081266362 |z (OCoLC)1153534493 |z (OCoLC)1228583006 |z (OCoLC)1259125024 | ||
| 037 | |a 978-1-60750-513-6 |b IOS Press |n http://www.iospress.nl | ||
| 050 | 4 | |a QA76.58 |b .W58 2009 | |
| 072 | 7 | |a COM |x COM014000 |2 bisacsh | |
| 082 | 7 | |a 004 |2 22 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a WoTUG Technical Meeting |n (32nd : |d 2009 : |c Technische Universiteit Eindhoven, Netherlands) | |
| 245 | 1 | 0 | |a Communicating process architectures 2009 : |b WoTUG-32 / |c edited by Peter H. Welch [and others]. |
| 246 | 3 | 0 | |a WoTUG-32 |
| 260 | |a Amsterdam ; |a Washington, D.C. : |b IOS Press, |c ©2009. | ||
| 300 | |a 1 online resource (x, 407 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 | ||
| 347 | |a data file |2 rda | ||
| 490 | 1 | |a Concurrent systems engineering series ; |v v. 67 | |
| 504 | |a Includes bibliographical references and indexes. | ||
| 520 | 1 | |a "This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent - so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications."--Jacket. | |
| 505 | 0 | |6 880-01 |a Title page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi. | |
| 588 | 0 | |a Print version record. | |
| 546 | |a English. | ||
| 650 | 0 | |a Parallel processing (Electronic computers) |v Congresses. | |
| 650 | 0 | |a occam (Computer program language) |v Congresses. | |
| 650 | 0 | |a Transputers |v Congresses. | |
| 650 | 0 | |a Computer architecture |v Congresses. | |
| 650 | 6 | |a Parallélisme (Informatique) |v Congrès. | |
| 650 | 6 | |a Occam (Langage de programmation) |v Congrès. | |
| 650 | 6 | |a Transputers |v Congrès. | |
| 650 | 6 | |a Ordinateurs |x Architecture |v Congrès. | |
| 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 Computer architecture |2 fast | |
| 650 | 7 | |a occam (Computer program language) |2 fast | |
| 650 | 7 | |a Parallel processing (Electronic computers) |2 fast | |
| 650 | 7 | |a Transputers |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Welch, P. H. |1 https://id.oclc.org/worldcat/entity/E39PCjx66rF7Ttdm9t8Wcwqmh3 |0 http://id.loc.gov/authorities/names/n94020891 | |
| 710 | 2 | |a IOS Press. |1 https://id.oclc.org/worldcat/entity/E39QH7Jmq4CDTK3QFTckWWjytg |0 http://id.loc.gov/authorities/names/no2015091156 | |
| 758 | |i has work: |a Communicating process architectures 2009 (Text) |1 https://id.oclc.org/worldcat/entity/E39PCFwvdG7XcK4JrFWqkPK6Dm |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a WoTUG Technical Meeting (32nd : 2009 : Technische Universiteit Eindhoven, Netherlands). |t Communicating process architectures 2009. |d Amsterdam ; Washington, D.C. : IOS Press, ©2009 |z 9781607500650 |z 1607500655 |w (DLC) 2009937770 |w (OCoLC)489009767 |
| 830 | 0 | |a Concurrent systems engineering series ; |v v. 67. |0 http://id.loc.gov/authorities/names/no98106767 | |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=315821 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=315821 |3 Volltext |
| 880 | 0 | |6 505-01/(S |a Beyond Mobility: What Next After CSP/π? / Michael Goldsmith -- The SCOOP Concurrency Model in Java-Like Languages / Faraz Torshizi [and others] -- Combining Partial Order Reduction with Bounded Model Checking / José Vander Meulen and Charles Pecheur -- On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication / Masaki Murakami -- Analysing gCSP Models Using Runtime and Model Analysis Algorithms / Maarten M. Bezemer, Marcel A. Groothuis and Jan F. Broenink -- Relating and Visualising CSP, VCR and Structural Traces / Neil C.C. Brown and Marc L. Smith -- Designing a Mathematically Verified I2C Device Driver Using ASD / Arjen Klomp [and others] -- Mobile Escape Analysis for occam-pi / Frederick R.M. Barnes -- New ALT for Application Timers and Synchronisation Point Scheduling (Two Excerpts from a Small Channel Based Scheduler) / Øyvind Teig and Per Johan Vannebo -- Translating ETC to LLVM Assembly / Carl G. Ritson -- Resumable Java Bytecode -- Process Mobility for the JVM / Jan Bækgaard Pedersen and Brian Kauke -- OpenComRTOS: A Runtime Environment for Interacting Entities / Bernhard H.C. Sputh [and others] -- Economics of Cloud Computing: A Statistical Genetics Case Study / Jeremy M.R. Martin [and others] -- An Application of CoSMoS Design Methods to Pedestrian Simulation / Sarah Clayton, Neil Urquhart and Jon Kerridge -- An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures / Kevin Chalmers and Jon Kerridge -- Auto-Mobiles: Optimised Message-Passing / Neil C.C. Brown -- A Denotational Study of Mobility / Joël-Alexis Bialkiewicz and Frédéric Peschanski -- PyCSP Revisited / Brian Vinter, John Markus Bjørndalen and Rune Møllegaard Friborg -- Three Unique Implementations of Processes for PyCSP / Rune Møllegaard Friborg, John Markus Bjørndalen and Brian Vinter -- CSP as a Domain-Specific Language Embedded in Python and Jython / Sarah Mount [and others] -- Hydra: A Python Framework for Parallel Computing / Waide B. Tristram and Karen L. Bradshaw -- Extending CSP with Tests for Availability / Gavin Lowe -- Design Patterns for Communicating Systems with Deadline Propagation / Martin Korsgaard and Sverre Hendseth -- JCSP Agents-Based Service Discovery for Pervasive Computing / Anna Kosek [and others] -- Toward Process Architectures for Behavioural Robotics / Jonathan Simpson and Carl G. Ritson -- HW/SW Design Space Exploration on the Production Cell Setup / Marcel A. Groothuis and Jan F. Broenink -- Engineering Emergence: An occam-π Adventure / Peter H. Welch, Kurt Wallnau and Mark Klein. | |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL501438 | ||
| 938 | |a ebrary |b EBRY |n ebr10375702 | ||
| 938 | |a EBSCOhost |b EBSC |n 315821 | ||
| 938 | |a YBP Library Services |b YANK |n 3206138 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn591152273 |
|---|---|
| _version_ | 1829094657230897152 |
| adam_text | |
| any_adam_object | |
| author2 | Welch, P. H. |
| author2_role | |
| author2_variant | p h w ph phw |
| author_GND | http://id.loc.gov/authorities/names/n94020891 |
| author_corporate | WoTUG Technical Meeting Technische Universiteit Eindhoven, Netherlands IOS Press |
| author_corporate_role | |
| author_facet | Welch, P. H. WoTUG Technical Meeting Technische Universiteit Eindhoven, Netherlands IOS Press |
| author_sort | WoTUG Technical Meeting Technische Universiteit Eindhoven, Netherlands |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.58 .W58 2009 |
| callnumber-search | QA76.58 .W58 2009 |
| callnumber-sort | QA 276.58 W58 42009 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Title page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi. |
| ctrlnum | (OCoLC)591152273 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic Conference Proceeding eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>09112cam a2200877 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn591152273</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20250103110447.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">100401s2009 ne a ob 101 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2009937770</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">IOSPR</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">IOSPR</subfield><subfield code="d">EBLCP</subfield><subfield code="d">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">IDEBK</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MHW</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">AZK</subfield><subfield code="d">LOA</subfield><subfield code="d">JBG</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">ZCU</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">ICG</subfield><subfield code="d">INT</subfield><subfield code="d">NRAMU</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">UKCRE</subfield><subfield code="d">AJS</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">QGK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCL</subfield><subfield code="d">FUG</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCO</subfield></datafield><datafield tag="066" ind1=" " ind2=" "><subfield code="c">(S</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">618851466</subfield><subfield code="a">647899348</subfield><subfield code="a">764534433</subfield><subfield code="a">956751460</subfield><subfield code="a">960282668</subfield><subfield code="a">961640118</subfield><subfield code="a">962625932</subfield><subfield code="a">966260168</subfield><subfield code="a">988458874</subfield><subfield code="a">992032563</subfield><subfield code="a">1037904986</subfield><subfield code="a">1038655445</subfield><subfield code="a">1045524354</subfield><subfield code="a">1066439568</subfield><subfield code="a">1081266362</subfield><subfield code="a">1153534493</subfield><subfield code="a">1228583006</subfield><subfield code="a">1259125024</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607505136</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607505134</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1607500655</subfield><subfield code="q">(pbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781607500650</subfield><subfield code="q">(pbk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6612600926</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1282600923</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781282600928</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786612600920</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)591152273</subfield><subfield code="z">(OCoLC)618851466</subfield><subfield code="z">(OCoLC)647899348</subfield><subfield code="z">(OCoLC)764534433</subfield><subfield code="z">(OCoLC)956751460</subfield><subfield code="z">(OCoLC)960282668</subfield><subfield code="z">(OCoLC)961640118</subfield><subfield code="z">(OCoLC)962625932</subfield><subfield code="z">(OCoLC)966260168</subfield><subfield code="z">(OCoLC)988458874</subfield><subfield code="z">(OCoLC)992032563</subfield><subfield code="z">(OCoLC)1037904986</subfield><subfield code="z">(OCoLC)1038655445</subfield><subfield code="z">(OCoLC)1045524354</subfield><subfield code="z">(OCoLC)1066439568</subfield><subfield code="z">(OCoLC)1081266362</subfield><subfield code="z">(OCoLC)1153534493</subfield><subfield code="z">(OCoLC)1228583006</subfield><subfield code="z">(OCoLC)1259125024</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">978-1-60750-513-6</subfield><subfield code="b">IOS Press</subfield><subfield code="n">http://www.iospress.nl</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.58</subfield><subfield code="b">.W58 2009</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">COM014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">004</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">WoTUG Technical Meeting</subfield><subfield code="n">(32nd :</subfield><subfield code="d">2009 :</subfield><subfield code="c">Technische Universiteit Eindhoven, Netherlands)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Communicating process architectures 2009 :</subfield><subfield code="b">WoTUG-32 /</subfield><subfield code="c">edited by Peter H. Welch [and others].</subfield></datafield><datafield tag="246" ind1="3" ind2="0"><subfield code="a">WoTUG-32</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Washington, D.C. :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">©2009.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (x, 407 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="347" ind1=" " ind2=" "><subfield code="a">data file</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Concurrent systems engineering series ;</subfield><subfield code="v">v. 67</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes.</subfield></datafield><datafield tag="520" ind1="1" ind2=" "><subfield code="a">"This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent - so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications."--Jacket.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="6">880-01</subfield><subfield code="a">Title page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</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="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">occam (Computer program language)</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Transputers</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer architecture</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Parallélisme (Informatique)</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Occam (Langage de programmation)</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Transputers</subfield><subfield code="v">Congrès.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Ordinateurs</subfield><subfield code="x">Architecture</subfield><subfield code="v">Congrès.</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">Computer architecture</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">occam (Computer program language)</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="650" ind1=" " ind2="7"><subfield code="a">Transputers</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Conference papers and proceedings</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Welch, P. H.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjx66rF7Ttdm9t8Wcwqmh3</subfield><subfield code="0">http://id.loc.gov/authorities/names/n94020891</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">IOS Press.</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39QH7Jmq4CDTK3QFTckWWjytg</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2015091156</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Communicating process architectures 2009 (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCFwvdG7XcK4JrFWqkPK6Dm</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">WoTUG Technical Meeting (32nd : 2009 : Technische Universiteit Eindhoven, Netherlands).</subfield><subfield code="t">Communicating process architectures 2009.</subfield><subfield code="d">Amsterdam ; Washington, D.C. : IOS Press, ©2009</subfield><subfield code="z">9781607500650</subfield><subfield code="z">1607500655</subfield><subfield code="w">(DLC) 2009937770</subfield><subfield code="w">(OCoLC)489009767</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Concurrent systems engineering series ;</subfield><subfield code="v">v. 67.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no98106767</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</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=315821</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</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=315821</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="880" ind1="0" ind2=" "><subfield code="6">505-01/(S</subfield><subfield code="a">Beyond Mobility: What Next After CSP/π? / Michael Goldsmith -- The SCOOP Concurrency Model in Java-Like Languages / Faraz Torshizi [and others] -- Combining Partial Order Reduction with Bounded Model Checking / José Vander Meulen and Charles Pecheur -- On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication / Masaki Murakami -- Analysing gCSP Models Using Runtime and Model Analysis Algorithms / Maarten M. Bezemer, Marcel A. Groothuis and Jan F. Broenink -- Relating and Visualising CSP, VCR and Structural Traces / Neil C.C. Brown and Marc L. Smith -- Designing a Mathematically Verified I2C Device Driver Using ASD / Arjen Klomp [and others] -- Mobile Escape Analysis for occam-pi / Frederick R.M. Barnes -- New ALT for Application Timers and Synchronisation Point Scheduling (Two Excerpts from a Small Channel Based Scheduler) / Øyvind Teig and Per Johan Vannebo -- Translating ETC to LLVM Assembly / Carl G. Ritson -- Resumable Java Bytecode -- Process Mobility for the JVM / Jan Bækgaard Pedersen and Brian Kauke -- OpenComRTOS: A Runtime Environment for Interacting Entities / Bernhard H.C. Sputh [and others] -- Economics of Cloud Computing: A Statistical Genetics Case Study / Jeremy M.R. Martin [and others] -- An Application of CoSMoS Design Methods to Pedestrian Simulation / Sarah Clayton, Neil Urquhart and Jon Kerridge -- An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures / Kevin Chalmers and Jon Kerridge -- Auto-Mobiles: Optimised Message-Passing / Neil C.C. Brown -- A Denotational Study of Mobility / Joël-Alexis Bialkiewicz and Frédéric Peschanski -- PyCSP Revisited / Brian Vinter, John Markus Bjørndalen and Rune Møllegaard Friborg -- Three Unique Implementations of Processes for PyCSP / Rune Møllegaard Friborg, John Markus Bjørndalen and Brian Vinter -- CSP as a Domain-Specific Language Embedded in Python and Jython / Sarah Mount [and others] -- Hydra: A Python Framework for Parallel Computing / Waide B. Tristram and Karen L. Bradshaw -- Extending CSP with Tests for Availability / Gavin Lowe -- Design Patterns for Communicating Systems with Deadline Propagation / Martin Korsgaard and Sverre Hendseth -- JCSP Agents-Based Service Discovery for Pervasive Computing / Anna Kosek [and others] -- Toward Process Architectures for Behavioural Robotics / Jonathan Simpson and Carl G. Ritson -- HW/SW Design Space Exploration on the Production Cell Setup / Marcel A. Groothuis and Jan F. Broenink -- Engineering Emergence: An occam-π Adventure / Peter H. Welch, Kurt Wallnau and Mark Klein.</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL501438</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10375702</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">315821</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3206138</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-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocn591152273 |
| illustrated | Illustrated |
| indexdate | 2025-04-11T08:36:36Z |
| institution | BVB |
| institution_GND | http://id.loc.gov/authorities/names/no2015091156 |
| isbn | 9781607505136 1607505134 6612600926 1282600923 9781282600928 9786612600920 |
| language | English |
| oclc_num | 591152273 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource (x, 407 pages) : illustrations |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | IOS Press, |
| record_format | marc |
| series | Concurrent systems engineering series ; |
| series2 | Concurrent systems engineering series ; |
| spelling | WoTUG Technical Meeting (32nd : 2009 : Technische Universiteit Eindhoven, Netherlands) Communicating process architectures 2009 : WoTUG-32 / edited by Peter H. Welch [and others]. WoTUG-32 Amsterdam ; Washington, D.C. : IOS Press, ©2009. 1 online resource (x, 407 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier data file rda Concurrent systems engineering series ; v. 67 Includes bibliographical references and indexes. "This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent - so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications."--Jacket. 880-01 Title page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi. Print version record. English. Parallel processing (Electronic computers) Congresses. occam (Computer program language) Congresses. Transputers Congresses. Computer architecture Congresses. Parallélisme (Informatique) Congrès. Occam (Langage de programmation) Congrès. Transputers Congrès. Ordinateurs Architecture Congrès. 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 Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast Conference papers and proceedings fast Welch, P. H. https://id.oclc.org/worldcat/entity/E39PCjx66rF7Ttdm9t8Wcwqmh3 http://id.loc.gov/authorities/names/n94020891 IOS Press. https://id.oclc.org/worldcat/entity/E39QH7Jmq4CDTK3QFTckWWjytg http://id.loc.gov/authorities/names/no2015091156 has work: Communicating process architectures 2009 (Text) https://id.oclc.org/worldcat/entity/E39PCFwvdG7XcK4JrFWqkPK6Dm https://id.oclc.org/worldcat/ontology/hasWork Print version: WoTUG Technical Meeting (32nd : 2009 : Technische Universiteit Eindhoven, Netherlands). Communicating process architectures 2009. Amsterdam ; Washington, D.C. : IOS Press, ©2009 9781607500650 1607500655 (DLC) 2009937770 (OCoLC)489009767 Concurrent systems engineering series ; v. 67. http://id.loc.gov/authorities/names/no98106767 505-01/(S Beyond Mobility: What Next After CSP/π? / Michael Goldsmith -- The SCOOP Concurrency Model in Java-Like Languages / Faraz Torshizi [and others] -- Combining Partial Order Reduction with Bounded Model Checking / José Vander Meulen and Charles Pecheur -- On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication / Masaki Murakami -- Analysing gCSP Models Using Runtime and Model Analysis Algorithms / Maarten M. Bezemer, Marcel A. Groothuis and Jan F. Broenink -- Relating and Visualising CSP, VCR and Structural Traces / Neil C.C. Brown and Marc L. Smith -- Designing a Mathematically Verified I2C Device Driver Using ASD / Arjen Klomp [and others] -- Mobile Escape Analysis for occam-pi / Frederick R.M. Barnes -- New ALT for Application Timers and Synchronisation Point Scheduling (Two Excerpts from a Small Channel Based Scheduler) / Øyvind Teig and Per Johan Vannebo -- Translating ETC to LLVM Assembly / Carl G. Ritson -- Resumable Java Bytecode -- Process Mobility for the JVM / Jan Bækgaard Pedersen and Brian Kauke -- OpenComRTOS: A Runtime Environment for Interacting Entities / Bernhard H.C. Sputh [and others] -- Economics of Cloud Computing: A Statistical Genetics Case Study / Jeremy M.R. Martin [and others] -- An Application of CoSMoS Design Methods to Pedestrian Simulation / Sarah Clayton, Neil Urquhart and Jon Kerridge -- An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures / Kevin Chalmers and Jon Kerridge -- Auto-Mobiles: Optimised Message-Passing / Neil C.C. Brown -- A Denotational Study of Mobility / Joël-Alexis Bialkiewicz and Frédéric Peschanski -- PyCSP Revisited / Brian Vinter, John Markus Bjørndalen and Rune Møllegaard Friborg -- Three Unique Implementations of Processes for PyCSP / Rune Møllegaard Friborg, John Markus Bjørndalen and Brian Vinter -- CSP as a Domain-Specific Language Embedded in Python and Jython / Sarah Mount [and others] -- Hydra: A Python Framework for Parallel Computing / Waide B. Tristram and Karen L. Bradshaw -- Extending CSP with Tests for Availability / Gavin Lowe -- Design Patterns for Communicating Systems with Deadline Propagation / Martin Korsgaard and Sverre Hendseth -- JCSP Agents-Based Service Discovery for Pervasive Computing / Anna Kosek [and others] -- Toward Process Architectures for Behavioural Robotics / Jonathan Simpson and Carl G. Ritson -- HW/SW Design Space Exploration on the Production Cell Setup / Marcel A. Groothuis and Jan F. Broenink -- Engineering Emergence: An occam-π Adventure / Peter H. Welch, Kurt Wallnau and Mark Klein. |
| spellingShingle | Communicating process architectures 2009 : WoTUG-32 / Concurrent systems engineering series ; Title page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi. Parallel processing (Electronic computers) Congresses. occam (Computer program language) Congresses. Transputers Congresses. Computer architecture Congresses. Parallélisme (Informatique) Congrès. Occam (Langage de programmation) Congrès. Transputers Congrès. Ordinateurs Architecture Congrès. 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 Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast |
| title | Communicating process architectures 2009 : WoTUG-32 / |
| title_alt | WoTUG-32 |
| title_auth | Communicating process architectures 2009 : WoTUG-32 / |
| title_exact_search | Communicating process architectures 2009 : WoTUG-32 / |
| title_full | Communicating process architectures 2009 : WoTUG-32 / edited by Peter H. Welch [and others]. |
| title_fullStr | Communicating process architectures 2009 : WoTUG-32 / edited by Peter H. Welch [and others]. |
| title_full_unstemmed | Communicating process architectures 2009 : WoTUG-32 / edited by Peter H. Welch [and others]. |
| title_short | Communicating process architectures 2009 : |
| title_sort | communicating process architectures 2009 wotug 32 |
| title_sub | WoTUG-32 / |
| topic | Parallel processing (Electronic computers) Congresses. occam (Computer program language) Congresses. Transputers Congresses. Computer architecture Congresses. Parallélisme (Informatique) Congrès. Occam (Langage de programmation) Congrès. Transputers Congrès. Ordinateurs Architecture Congrès. 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 Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast |
| topic_facet | Parallel processing (Electronic computers) Congresses. occam (Computer program language) Congresses. Transputers Congresses. Computer architecture Congresses. Parallélisme (Informatique) Congrès. Occam (Langage de programmation) Congrès. Transputers Congrès. Ordinateurs Architecture Congrès. COMPUTERS Reference. COMPUTERS Machine Theory. COMPUTERS Computer Literacy. COMPUTERS Information Technology. COMPUTERS Data Processing. COMPUTERS Computer Science. COMPUTERS Hardware General. Computer architecture occam (Computer program language) Parallel processing (Electronic computers) Transputers Conference papers and proceedings |
| work_keys_str_mv | AT wotugtechnicalmeetingtechnischeuniversiteiteindhovennetherlands communicatingprocessarchitectures2009wotug32 AT welchph communicatingprocessarchitectures2009wotug32 AT iospress communicatingprocessarchitectures2009wotug32 AT wotugtechnicalmeetingtechnischeuniversiteiteindhovennetherlands wotug32 AT welchph wotug32 AT iospress wotug32 |