Communicating process architectures 2008 :: WoTUG-31 /
Communicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under the auspices of WoTUG and the Department of Computer Science of the University of York. The aim of this book is to cover both theoretical as...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Amsterdam ; Washington, D.C. :
IOS Press,
©2008.
|
| Series: | Concurrent systems engineering series ;
v. 51. |
| Subjects: | |
| Online Access: | DE-862 DE-863 |
| Summary: | Communicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under the auspices of WoTUG and the Department of Computer Science of the University of York. The aim of this book is to cover both theoretical aspects and industrial applications of Communicating Processes. Two invited speakers have given excellent contributions to this topic. Professor Samson Abramsky has worked in the areas of semantics and logic of computation, and concurrency. His work on game semantics considers interaction and informat. |
| Physical Description: | 1 online resource (xi, 459 pages) : illustrations. |
| Bibliography: | Includes bibliographical references and indexes. |
| ISBN: | 9781441601575 1441601570 9781607503682 1607503689 661196861X 1281968617 9781281968616 9786611968618 6000011865 9786000011864 |
Staff View
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn567931432 | ||
| 003 | OCoLC | ||
| 005 | 20250103110447.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 090126s2008 ne a ob 101 0 eng d | ||
| 010 | |z 2008907202 | ||
| 040 | |a CCO |b eng |e pn |c CCO |d E7B |d OCLCQ |d N$T |d YDXCP |d IOSPR |d CDX |d MEAUC |d IDEBK |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d OCLCQ |d OCL |d OCLCO |d OCLCQ |d AZK |d COCUF |d AGLDB |d MOR |d PIFAG |d OCLCQ |d U3W |d STF |d WRM |d VTS |d NRAMU |d INT |d VT2 |d OCLCQ |d WYU |d TKN |d M8D |d HS0 |d UKCRE |d VLY |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 019 | |a 317522285 |a 326717273 |a 491264516 |a 503444047 |a 646786561 |a 961536198 |a 962631906 |a 988515738 |a 992065532 |a 1037926525 |a 1038675185 |a 1045508538 |a 1055367599 |a 1062924042 |a 1153515642 |a 1162214811 |a 1228554668 |a 1241860430 |a 1290037125 |a 1300645747 | ||
| 020 | |a 9781441601575 |q (electronic bk.) | ||
| 020 | |a 1441601570 |q (electronic bk.) | ||
| 020 | |a 9781607503682 | ||
| 020 | |a 1607503689 | ||
| 020 | |z 1586039075 | ||
| 020 | |z 9781586039073 | ||
| 020 | |a 661196861X | ||
| 020 | |a 1281968617 | ||
| 020 | |a 9781281968616 | ||
| 020 | |a 9786611968618 | ||
| 020 | |a 6000011865 | ||
| 020 | |a 9786000011864 | ||
| 035 | |a (OCoLC)567931432 |z (OCoLC)317522285 |z (OCoLC)326717273 |z (OCoLC)491264516 |z (OCoLC)503444047 |z (OCoLC)646786561 |z (OCoLC)961536198 |z (OCoLC)962631906 |z (OCoLC)988515738 |z (OCoLC)992065532 |z (OCoLC)1037926525 |z (OCoLC)1038675185 |z (OCoLC)1045508538 |z (OCoLC)1055367599 |z (OCoLC)1062924042 |z (OCoLC)1153515642 |z (OCoLC)1162214811 |z (OCoLC)1228554668 |z (OCoLC)1241860430 |z (OCoLC)1290037125 |z (OCoLC)1300645747 | ||
| 037 | |a 978-1-58603-907-3 |b IOS Press |n http://www.iospress.nl | ||
| 050 | 4 | |a QA76.58 |b .W58 2008eb | |
| 072 | 7 | |a COM |x COM014000 |2 bisacsh | |
| 082 | 7 | |a 004.35 |2 22 | |
| 084 | |a 54.31 |2 bcl | ||
| 084 | |a 54.51 |2 bcl | ||
| 049 | |a MAIN | ||
| 111 | 2 | |a WoTUG Technical Meeting |n (31st : |d 2008 : |c University of York) | |
| 245 | 1 | 0 | |a Communicating process architectures 2008 : |b WoTUG-31 / |c edited by Peter H. Welch [and others]. |
| 260 | |a Amsterdam ; |a Washington, D.C. : |b IOS Press, |c ©2008. | ||
| 300 | |a 1 online resource (xi, 459 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. 51 | |
| 504 | |a Includes bibliographical references and indexes. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Title page; Preface; Editorial Board; Reviewing Committee; Contents; Part A. Invited Speakers; Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures; How to Soar with CSP; Part B. Conference Papers; A CSP Model for Mobile Channels; Communicating Scala Objects; Combining EDF Scheduling with occam Using the Toc Programming Language; Communicating Haskell Processes: Composable Explicit Concurrency Using Monads; Two-Way Protocols for occam-pi; Prioritized Service Architecture: Refinement and Visual Design; Experiments in Translating CSP -- B to Handel-C | |
| 505 | 8 | |a FPGA Based Control of a Production Cell SystemShared-Clock Methodology for Time-Triggered Multi-Cores; Transfer Request Broker: Resolving Input-Output Choice; Mechanical Verification of a Two-Way Sliding Window Protocol; RRABP: Point-to-Point Communication over Unreliable Components; IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks; Asynchronous Active Objects in Java; JCSPre: the Robot Edition to Control LEGO NXT Robots; A Critique of JCSP Networking; Virtual Machine Based Debugging for occam-pi; Process-Oriented Collective Operations | |
| 505 | 8 | |a Representation and Implementation of CSP and VCR TracesCSPBuilder -- CSP Based Scientific Workflow Modelling; Visual Process-Oriented Programming for Robotics; Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques; Mobile Agents and Processes Using Communicating Process Architectures; YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation; Modelling a Multi-Core Media Processor Using JCSP; Part C. Fringe Presentation Abstracts; How to Make a Process Invisible; Designing Animation Facilities for gCSP; Tock: One Year On | |
| 505 | 8 | |a Introducing JCSP Networking 2.0Mobile Processes in an Ant Simulation; Santa Claus -- with Mobile Reindeer and Elves; Subject Index; Author Index | |
| 520 | |a Communicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under the auspices of WoTUG and the Department of Computer Science of the University of York. The aim of this book is to cover both theoretical aspects and industrial applications of Communicating Processes. Two invited speakers have given excellent contributions to this topic. Professor Samson Abramsky has worked in the areas of semantics and logic of computation, and concurrency. His work on game semantics considers interaction and informat. | ||
| 546 | |a English. | ||
| 650 | 0 | |a Computer architecture |v Congresses. | |
| 650 | 0 | |a occam (Computer program language) |v Congresses. | |
| 650 | 0 | |a Parallel processing (Electronic computers) |v Congresses. | |
| 650 | 0 | |a Transputers |v Congresses. | |
| 650 | 6 | |a Ordinateurs |x Architecture |v Congrès. | |
| 650 | 6 | |a Occam (Langage de programmation) |v Congrès. | |
| 650 | 6 | |a Parallélisme (Informatique) |v Congrès. | |
| 650 | 6 | |a Transputers |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Systems Architecture |x Distributed Systems & Computing. |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 | 0 | |a Computer network resources. | |
| 655 | 4 | |a Computer network resources. | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Welch, P. H. |0 http://id.loc.gov/authorities/names/n94020891 | |
| 776 | 0 | 8 | |i Print version: |a WoTUG Technical Meeting (31st : 2008 : University of York). |t Communicating process architectures 2008. |d Amsterdam ; Washington, D.C. : IOS Press, ©2008 |w (DLC) 2008907202 |
| 830 | 0 | |a Concurrent systems engineering series ; |v v. 51. |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=262927 |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=262927 |3 Volltext |
| 938 | |a Coutts Information Services |b COUT |n 9673021 | ||
| 938 | |a ebrary |b EBRY |n ebr10267482 | ||
| 938 | |a EBSCOhost |b EBSC |n 262927 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 196861 | ||
| 938 | |a YBP Library Services |b YANK |n 2994682 | ||
| 938 | |a YBP Library Services |b YANK |n 3318065 | ||
| 938 | |a YBP Library Services |b YANK |n 2626543 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Record in the Search Index
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn567931432 |
|---|---|
| _version_ | 1829094655800639488 |
| 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 University of York |
| author_corporate_role | |
| author_facet | Welch, P. H. WoTUG Technical Meeting University of York |
| author_sort | WoTUG Technical Meeting University of York |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.58 .W58 2008eb |
| callnumber-search | QA76.58 .W58 2008eb |
| callnumber-sort | QA 276.58 W58 42008EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Title page; Preface; Editorial Board; Reviewing Committee; Contents; Part A. Invited Speakers; Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures; How to Soar with CSP; Part B. Conference Papers; A CSP Model for Mobile Channels; Communicating Scala Objects; Combining EDF Scheduling with occam Using the Toc Programming Language; Communicating Haskell Processes: Composable Explicit Concurrency Using Monads; Two-Way Protocols for occam-pi; Prioritized Service Architecture: Refinement and Visual Design; Experiments in Translating CSP -- B to Handel-C FPGA Based Control of a Production Cell SystemShared-Clock Methodology for Time-Triggered Multi-Cores; Transfer Request Broker: Resolving Input-Output Choice; Mechanical Verification of a Two-Way Sliding Window Protocol; RRABP: Point-to-Point Communication over Unreliable Components; IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks; Asynchronous Active Objects in Java; JCSPre: the Robot Edition to Control LEGO NXT Robots; A Critique of JCSP Networking; Virtual Machine Based Debugging for occam-pi; Process-Oriented Collective Operations Representation and Implementation of CSP and VCR TracesCSPBuilder -- CSP Based Scientific Workflow Modelling; Visual Process-Oriented Programming for Robotics; Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques; Mobile Agents and Processes Using Communicating Process Architectures; YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation; Modelling a Multi-Core Media Processor Using JCSP; Part C. Fringe Presentation Abstracts; How to Make a Process Invisible; Designing Animation Facilities for gCSP; Tock: One Year On Introducing JCSP Networking 2.0Mobile Processes in an Ant Simulation; Santa Claus -- with Mobile Reindeer and Elves; Subject Index; Author Index |
| ctrlnum | (OCoLC)567931432 |
| dewey-full | 004.35 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.35 |
| dewey-search | 004.35 |
| dewey-sort | 14.35 |
| 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>06798cam a2200913Ma 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn567931432</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">090126s2008 ne a ob 101 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2008907202</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">CCO</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">CCO</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">IOSPR</subfield><subfield code="d">CDX</subfield><subfield code="d">MEAUC</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</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">NRAMU</subfield><subfield code="d">INT</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">TKN</subfield><subfield code="d">M8D</subfield><subfield code="d">HS0</subfield><subfield code="d">UKCRE</subfield><subfield code="d">VLY</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">317522285</subfield><subfield code="a">326717273</subfield><subfield code="a">491264516</subfield><subfield code="a">503444047</subfield><subfield code="a">646786561</subfield><subfield code="a">961536198</subfield><subfield code="a">962631906</subfield><subfield code="a">988515738</subfield><subfield code="a">992065532</subfield><subfield code="a">1037926525</subfield><subfield code="a">1038675185</subfield><subfield code="a">1045508538</subfield><subfield code="a">1055367599</subfield><subfield code="a">1062924042</subfield><subfield code="a">1153515642</subfield><subfield code="a">1162214811</subfield><subfield code="a">1228554668</subfield><subfield code="a">1241860430</subfield><subfield code="a">1290037125</subfield><subfield code="a">1300645747</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781441601575</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1441601570</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607503682</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607503689</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1586039075</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781586039073</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">661196861X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1281968617</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781281968616</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786611968618</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6000011865</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786000011864</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)567931432</subfield><subfield code="z">(OCoLC)317522285</subfield><subfield code="z">(OCoLC)326717273</subfield><subfield code="z">(OCoLC)491264516</subfield><subfield code="z">(OCoLC)503444047</subfield><subfield code="z">(OCoLC)646786561</subfield><subfield code="z">(OCoLC)961536198</subfield><subfield code="z">(OCoLC)962631906</subfield><subfield code="z">(OCoLC)988515738</subfield><subfield code="z">(OCoLC)992065532</subfield><subfield code="z">(OCoLC)1037926525</subfield><subfield code="z">(OCoLC)1038675185</subfield><subfield code="z">(OCoLC)1045508538</subfield><subfield code="z">(OCoLC)1055367599</subfield><subfield code="z">(OCoLC)1062924042</subfield><subfield code="z">(OCoLC)1153515642</subfield><subfield code="z">(OCoLC)1162214811</subfield><subfield code="z">(OCoLC)1228554668</subfield><subfield code="z">(OCoLC)1241860430</subfield><subfield code="z">(OCoLC)1290037125</subfield><subfield code="z">(OCoLC)1300645747</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">978-1-58603-907-3</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 2008eb</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.35</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.31</subfield><subfield code="2">bcl</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">54.51</subfield><subfield code="2">bcl</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">(31st :</subfield><subfield code="d">2008 :</subfield><subfield code="c">University of York)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Communicating process architectures 2008 :</subfield><subfield code="b">WoTUG-31 /</subfield><subfield code="c">edited by Peter H. Welch [and others].</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">©2008.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xi, 459 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. 51</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Title page; Preface; Editorial Board; Reviewing Committee; Contents; Part A. Invited Speakers; Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures; How to Soar with CSP; Part B. Conference Papers; A CSP Model for Mobile Channels; Communicating Scala Objects; Combining EDF Scheduling with occam Using the Toc Programming Language; Communicating Haskell Processes: Composable Explicit Concurrency Using Monads; Two-Way Protocols for occam-pi; Prioritized Service Architecture: Refinement and Visual Design; Experiments in Translating CSP -- B to Handel-C</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">FPGA Based Control of a Production Cell SystemShared-Clock Methodology for Time-Triggered Multi-Cores; Transfer Request Broker: Resolving Input-Output Choice; Mechanical Verification of a Two-Way Sliding Window Protocol; RRABP: Point-to-Point Communication over Unreliable Components; IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks; Asynchronous Active Objects in Java; JCSPre: the Robot Edition to Control LEGO NXT Robots; A Critique of JCSP Networking; Virtual Machine Based Debugging for occam-pi; Process-Oriented Collective Operations</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Representation and Implementation of CSP and VCR TracesCSPBuilder -- CSP Based Scientific Workflow Modelling; Visual Process-Oriented Programming for Robotics; Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques; Mobile Agents and Processes Using Communicating Process Architectures; YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation; Modelling a Multi-Core Media Processor Using JCSP; Part C. Fringe Presentation Abstracts; How to Make a Process Invisible; Designing Animation Facilities for gCSP; Tock: One Year On</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Introducing JCSP Networking 2.0Mobile Processes in an Ant Simulation; Santa Claus -- with Mobile Reindeer and Elves; Subject Index; Author Index</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Communicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under the auspices of WoTUG and the Department of Computer Science of the University of York. The aim of this book is to cover both theoretical aspects and industrial applications of Communicating Processes. Two invited speakers have given excellent contributions to this topic. Professor Samson Abramsky has worked in the areas of semantics and logic of computation, and concurrency. His work on game semantics considers interaction and informat.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</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="0"><subfield code="a">occam (Computer program language)</subfield><subfield code="v">Congresses.</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">Transputers</subfield><subfield code="v">Congresses.</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="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">Parallélisme (Informatique)</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="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Systems Architecture</subfield><subfield code="x">Distributed Systems & Computing.</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="0"><subfield code="a">Computer network resources.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Computer network resources.</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="0">http://id.loc.gov/authorities/names/n94020891</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">WoTUG Technical Meeting (31st : 2008 : University of York).</subfield><subfield code="t">Communicating process architectures 2008.</subfield><subfield code="d">Amsterdam ; Washington, D.C. : IOS Press, ©2008</subfield><subfield code="w">(DLC) 2008907202</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Concurrent systems engineering series ;</subfield><subfield code="v">v. 51.</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=262927</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=262927</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Coutts Information Services</subfield><subfield code="b">COUT</subfield><subfield code="n">9673021</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10267482</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">262927</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">196861</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2994682</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3318065</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2626543</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 | Computer network resources. Conference papers and proceedings fast |
| genre_facet | Computer network resources. Conference papers and proceedings |
| id | ZDB-4-EBA-ocn567931432 |
| illustrated | Illustrated |
| indexdate | 2025-04-11T08:36:35Z |
| institution | BVB |
| isbn | 9781441601575 1441601570 9781607503682 1607503689 661196861X 1281968617 9781281968616 9786611968618 6000011865 9786000011864 |
| language | English |
| oclc_num | 567931432 |
| 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 (xi, 459 pages) : illustrations. |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | IOS Press, |
| record_format | marc |
| series | Concurrent systems engineering series ; |
| series2 | Concurrent systems engineering series ; |
| spelling | WoTUG Technical Meeting (31st : 2008 : University of York) Communicating process architectures 2008 : WoTUG-31 / edited by Peter H. Welch [and others]. Amsterdam ; Washington, D.C. : IOS Press, ©2008. 1 online resource (xi, 459 pages) : illustrations. text txt rdacontent computer c rdamedia online resource cr rdacarrier data file rda Concurrent systems engineering series ; v. 51 Includes bibliographical references and indexes. Print version record. Title page; Preface; Editorial Board; Reviewing Committee; Contents; Part A. Invited Speakers; Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures; How to Soar with CSP; Part B. Conference Papers; A CSP Model for Mobile Channels; Communicating Scala Objects; Combining EDF Scheduling with occam Using the Toc Programming Language; Communicating Haskell Processes: Composable Explicit Concurrency Using Monads; Two-Way Protocols for occam-pi; Prioritized Service Architecture: Refinement and Visual Design; Experiments in Translating CSP -- B to Handel-C FPGA Based Control of a Production Cell SystemShared-Clock Methodology for Time-Triggered Multi-Cores; Transfer Request Broker: Resolving Input-Output Choice; Mechanical Verification of a Two-Way Sliding Window Protocol; RRABP: Point-to-Point Communication over Unreliable Components; IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks; Asynchronous Active Objects in Java; JCSPre: the Robot Edition to Control LEGO NXT Robots; A Critique of JCSP Networking; Virtual Machine Based Debugging for occam-pi; Process-Oriented Collective Operations Representation and Implementation of CSP and VCR TracesCSPBuilder -- CSP Based Scientific Workflow Modelling; Visual Process-Oriented Programming for Robotics; Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques; Mobile Agents and Processes Using Communicating Process Architectures; YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation; Modelling a Multi-Core Media Processor Using JCSP; Part C. Fringe Presentation Abstracts; How to Make a Process Invisible; Designing Animation Facilities for gCSP; Tock: One Year On Introducing JCSP Networking 2.0Mobile Processes in an Ant Simulation; Santa Claus -- with Mobile Reindeer and Elves; Subject Index; Author Index Communicating Process Architectures 2008 contains the proceedings of the thirty-first Communicating Process Architectures Conference (CPA 2008) organized under the auspices of WoTUG and the Department of Computer Science of the University of York. The aim of this book is to cover both theoretical aspects and industrial applications of Communicating Processes. Two invited speakers have given excellent contributions to this topic. Professor Samson Abramsky has worked in the areas of semantics and logic of computation, and concurrency. His work on game semantics considers interaction and informat. English. Computer architecture Congresses. occam (Computer program language) Congresses. Parallel processing (Electronic computers) Congresses. Transputers Congresses. Ordinateurs Architecture Congrès. Occam (Langage de programmation) Congrès. Parallélisme (Informatique) Congrès. Transputers Congrès. COMPUTERS Systems Architecture Distributed Systems & Computing. bisacsh Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast Computer network resources. Conference papers and proceedings fast Welch, P. H. http://id.loc.gov/authorities/names/n94020891 Print version: WoTUG Technical Meeting (31st : 2008 : University of York). Communicating process architectures 2008. Amsterdam ; Washington, D.C. : IOS Press, ©2008 (DLC) 2008907202 Concurrent systems engineering series ; v. 51. http://id.loc.gov/authorities/names/no98106767 |
| spellingShingle | Communicating process architectures 2008 : WoTUG-31 / Concurrent systems engineering series ; Title page; Preface; Editorial Board; Reviewing Committee; Contents; Part A. Invited Speakers; Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures; How to Soar with CSP; Part B. Conference Papers; A CSP Model for Mobile Channels; Communicating Scala Objects; Combining EDF Scheduling with occam Using the Toc Programming Language; Communicating Haskell Processes: Composable Explicit Concurrency Using Monads; Two-Way Protocols for occam-pi; Prioritized Service Architecture: Refinement and Visual Design; Experiments in Translating CSP -- B to Handel-C FPGA Based Control of a Production Cell SystemShared-Clock Methodology for Time-Triggered Multi-Cores; Transfer Request Broker: Resolving Input-Output Choice; Mechanical Verification of a Two-Way Sliding Window Protocol; RRABP: Point-to-Point Communication over Unreliable Components; IC2IC: a Lightweight Serial Interconnect Channel for Multiprocessor Networks; Asynchronous Active Objects in Java; JCSPre: the Robot Edition to Control LEGO NXT Robots; A Critique of JCSP Networking; Virtual Machine Based Debugging for occam-pi; Process-Oriented Collective Operations Representation and Implementation of CSP and VCR TracesCSPBuilder -- CSP Based Scientific Workflow Modelling; Visual Process-Oriented Programming for Robotics; Solving the Santa Claus Problem: a Comparison of Various Concurrent Programming Techniques; Mobile Agents and Processes Using Communicating Process Architectures; YASS: a Scaleable Sensornet Simulator for Large Scale Experimentation; Modelling a Multi-Core Media Processor Using JCSP; Part C. Fringe Presentation Abstracts; How to Make a Process Invisible; Designing Animation Facilities for gCSP; Tock: One Year On Introducing JCSP Networking 2.0Mobile Processes in an Ant Simulation; Santa Claus -- with Mobile Reindeer and Elves; Subject Index; Author Index Computer architecture Congresses. occam (Computer program language) Congresses. Parallel processing (Electronic computers) Congresses. Transputers Congresses. Ordinateurs Architecture Congrès. Occam (Langage de programmation) Congrès. Parallélisme (Informatique) Congrès. Transputers Congrès. COMPUTERS Systems Architecture Distributed Systems & Computing. bisacsh Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast |
| title | Communicating process architectures 2008 : WoTUG-31 / |
| title_auth | Communicating process architectures 2008 : WoTUG-31 / |
| title_exact_search | Communicating process architectures 2008 : WoTUG-31 / |
| title_full | Communicating process architectures 2008 : WoTUG-31 / edited by Peter H. Welch [and others]. |
| title_fullStr | Communicating process architectures 2008 : WoTUG-31 / edited by Peter H. Welch [and others]. |
| title_full_unstemmed | Communicating process architectures 2008 : WoTUG-31 / edited by Peter H. Welch [and others]. |
| title_short | Communicating process architectures 2008 : |
| title_sort | communicating process architectures 2008 wotug 31 |
| title_sub | WoTUG-31 / |
| topic | Computer architecture Congresses. occam (Computer program language) Congresses. Parallel processing (Electronic computers) Congresses. Transputers Congresses. Ordinateurs Architecture Congrès. Occam (Langage de programmation) Congrès. Parallélisme (Informatique) Congrès. Transputers Congrès. COMPUTERS Systems Architecture Distributed Systems & Computing. bisacsh Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast |
| topic_facet | Computer architecture Congresses. occam (Computer program language) Congresses. Parallel processing (Electronic computers) Congresses. Transputers Congresses. Ordinateurs Architecture Congrès. Occam (Langage de programmation) Congrès. Parallélisme (Informatique) Congrès. Transputers Congrès. COMPUTERS Systems Architecture Distributed Systems & Computing. Computer architecture occam (Computer program language) Parallel processing (Electronic computers) Transputers Computer network resources. Conference papers and proceedings |
| work_keys_str_mv | AT wotugtechnicalmeetinguniversityofyork communicatingprocessarchitectures2008wotug31 AT welchph communicatingprocessarchitectures2008wotug31 |