Communicating process architectures 2006 :: WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland /
Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms fo...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | Elektronisch Tagungsbericht E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam :
Washington, D.C. : IOS Press,
©2006.
|
| Schriftenreihe: | Concurrent systems engineering series ;
v. 64. |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms for Microsoft's .NET framework, and more. |
| Beschreibung: | 1 online resource (viii, 391 pages) : illustrations. |
| Bibliographie: | Includes bibliographical references and index. |
| ISBN: | 1429419075 9781429419079 9781607502050 1607502054 9781586036713 1586036718 |
| ISSN: | 1383-7575 ; |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocm78070156 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 070115s2006 ne a ob 101 0 eng d | ||
| 010 | |a 2006932503 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d IOSPR |d IDEBK |d OCLCQ |d MHW |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d OCLCQ |d OCL |d OCLCO |d EBLCP |d OCLCQ |d AGLDB |d ZCU |d MERUC |d OCLCQ |d VTS |d ICG |d VT2 |d OCLCQ |d WYU |d JBG |d STF |d DKC |d OCLCQ |d M8D |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 019 | |a 491260770 |a 1055320101 |a 1066447081 |a 1081225592 |a 1228537688 | ||
| 020 | |a 1429419075 |q (electronic bk.) | ||
| 020 | |a 9781429419079 |q (electronic bk.) | ||
| 020 | |a 9781607502050 | ||
| 020 | |a 1607502054 | ||
| 020 | |a 9781586036713 | ||
| 020 | |a 1586036718 | ||
| 035 | |a (OCoLC)78070156 |z (OCoLC)491260770 |z (OCoLC)1055320101 |z (OCoLC)1066447081 |z (OCoLC)1081225592 |z (OCoLC)1228537688 | ||
| 037 | |a 978-1-58603-671-3 |b IOS Press |n http://www.iospress.nl | ||
| 050 | 4 | |a QA76.58 |b .W58 2006eb | |
| 072 | 7 | |a COM |x COM014000 |2 bisacsh | |
| 082 | 7 | |a 004/.35 |2 22 | |
| 049 | |a MAIN | ||
| 111 | 2 | |a WoTUG Technical Meeting |n (29th : |d 2006 : |c Edinburgh, Scotland) | |
| 245 | 1 | 0 | |a Communicating process architectures 2006 : |b WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland / |c edited by Peter H. Welch, Jon Kerridge and Frederick R.M. Barnes. |
| 260 | |a Amsterdam : |b Washington, D.C. : |b IOS Press, |c ©2006. | ||
| 300 | |a 1 online resource (viii, 391 pages) : |b illustrations. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Concurrent systems engineering series, |x 1383-7575 ; |v v. 64 | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Title page; Preface; Programme Committee; Contents; SpaceWire -- DS-Links Reborn; An Introduction to CSP.NET; Performance Evaluation of JCSP Micro Edition: JCSPme; Ubiquitous Access to Site Specific Services by Mobile Devices: The Process View; CSP for .NET Based on JCSP; pony -- The occam-pi Network Environment; A Study of Percolation Phenomena in Process Networks; Portable CSP Based Design for Embedded Multi-Core Systems; A JCSP.net Implementation of a Massively Multiplayer Online Game; SystemCSP -- Visual Notation; Interacting Components. | |
| 520 | |a Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms for Microsoft's .NET framework, and more. | ||
| 588 | 0 | |a Print version record. | |
| 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 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 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Welch, Peter H. | |
| 700 | 1 | |a Kerridge, Jon. | |
| 700 | 1 | |a Barnes, Frederick R. M. | |
| 758 | |i has work: |a Communicating process architectures 2006 (Text) |1 https://id.oclc.org/worldcat/entity/E39PCYdRVqvDhWYDyfxBB6dTXm |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a WoTUG Technical Meeting (29th : 2006 : Edinburgh, Scotland). |t Communicating process architectures 2006. |d Amsterdam : Washington, D.C. : IOS Press, ©2006 |z 9781586036713 |z 1586036718 |w (DLC) 2006932503 |w (OCoLC)76910525 |
| 830 | 0 | |a Concurrent systems engineering series ; |v v. 64. |x 1383-7575 |0 http://id.loc.gov/authorities/names/no98106767 | |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=176065 |3 Volltext |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL274731 | ||
| 938 | |a EBSCOhost |b EBSC |n 176065 | ||
| 938 | |a YBP Library Services |b YANK |n 2628584 | ||
| 938 | |a YBP Library Services |b YANK |n 3207221 | ||
| 938 | |a YBP Library Services |b YANK |n 2511091 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocm78070156 |
|---|---|
| _version_ | 1816881644324257792 |
| adam_text | |
| any_adam_object | |
| author2 | Welch, Peter H. Kerridge, Jon Barnes, Frederick R. M. |
| author2_role | |
| author2_variant | p h w ph phw j k jk f r m b frm frmb |
| author_corporate | WoTUG Technical Meeting Edinburgh, Scotland |
| author_corporate_role | |
| author_facet | Welch, Peter H. Kerridge, Jon Barnes, Frederick R. M. WoTUG Technical Meeting Edinburgh, Scotland |
| author_sort | WoTUG Technical Meeting Edinburgh, Scotland |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.58 .W58 2006eb |
| callnumber-search | QA76.58 .W58 2006eb |
| callnumber-sort | QA 276.58 W58 42006EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | Title page; Preface; Programme Committee; Contents; SpaceWire -- DS-Links Reborn; An Introduction to CSP.NET; Performance Evaluation of JCSP Micro Edition: JCSPme; Ubiquitous Access to Site Specific Services by Mobile Devices: The Process View; CSP for .NET Based on JCSP; pony -- The occam-pi Network Environment; A Study of Percolation Phenomena in Process Networks; Portable CSP Based Design for Embedded Multi-Core Systems; A JCSP.net Implementation of a Massively Multiplayer Online Game; SystemCSP -- Visual Notation; Interacting Components. |
| ctrlnum | (OCoLC)78070156 |
| 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 235 |
| 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>04598cam a2200745 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocm78070156 </controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cnu---unuuu</controlfield><controlfield tag="008">070115s2006 ne a ob 101 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a"> 2006932503</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">N$T</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">IOSPR</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MHW</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">EBLCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">ZCU</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">ICG</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">JBG</subfield><subfield code="d">STF</subfield><subfield code="d">DKC</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">M8D</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">491260770</subfield><subfield code="a">1055320101</subfield><subfield code="a">1066447081</subfield><subfield code="a">1081225592</subfield><subfield code="a">1228537688</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1429419075</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781429419079</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607502050</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607502054</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586036713</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586036718</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)78070156</subfield><subfield code="z">(OCoLC)491260770</subfield><subfield code="z">(OCoLC)1055320101</subfield><subfield code="z">(OCoLC)1066447081</subfield><subfield code="z">(OCoLC)1081225592</subfield><subfield code="z">(OCoLC)1228537688</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">978-1-58603-671-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 2006eb</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="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">(29th :</subfield><subfield code="d">2006 :</subfield><subfield code="c">Edinburgh, Scotland)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Communicating process architectures 2006 :</subfield><subfield code="b">WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland /</subfield><subfield code="c">edited by Peter H. Welch, Jon Kerridge and Frederick R.M. Barnes.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam :</subfield><subfield code="b">Washington, D.C. :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">©2006.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (viii, 391 pages) :</subfield><subfield code="b">illustrations.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Concurrent systems engineering series,</subfield><subfield code="x">1383-7575 ;</subfield><subfield code="v">v. 64</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Title page; Preface; Programme Committee; Contents; SpaceWire -- DS-Links Reborn; An Introduction to CSP.NET; Performance Evaluation of JCSP Micro Edition: JCSPme; Ubiquitous Access to Site Specific Services by Mobile Devices: The Process View; CSP for .NET Based on JCSP; pony -- The occam-pi Network Environment; A Study of Percolation Phenomena in Process Networks; Portable CSP Based Design for Embedded Multi-Core Systems; A JCSP.net Implementation of a Massively Multiplayer Online Game; SystemCSP -- Visual Notation; Interacting Components.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms for Microsoft's .NET framework, and more.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</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">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="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, Peter H.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kerridge, Jon.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barnes, Frederick R. M.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Communicating process architectures 2006 (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCYdRVqvDhWYDyfxBB6dTXm</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 (29th : 2006 : Edinburgh, Scotland).</subfield><subfield code="t">Communicating process architectures 2006.</subfield><subfield code="d">Amsterdam : Washington, D.C. : IOS Press, ©2006</subfield><subfield code="z">9781586036713</subfield><subfield code="z">1586036718</subfield><subfield code="w">(DLC) 2006932503</subfield><subfield code="w">(OCoLC)76910525</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Concurrent systems engineering series ;</subfield><subfield code="v">v. 64.</subfield><subfield code="x">1383-7575</subfield><subfield code="0">http://id.loc.gov/authorities/names/no98106767</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=176065</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBL - Ebook Library</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL274731</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">176065</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2628584</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">3207221</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2511091</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Conference papers and proceedings fast |
| genre_facet | Conference papers and proceedings |
| id | ZDB-4-EBA-ocm78070156 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:16:00Z |
| institution | BVB |
| isbn | 1429419075 9781429419079 9781607502050 1607502054 9781586036713 1586036718 |
| issn | 1383-7575 ; |
| language | English |
| lccn | 2006932503 |
| oclc_num | 78070156 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (viii, 391 pages) : illustrations. |
| psigel | ZDB-4-EBA |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Washington, D.C. : IOS Press, |
| record_format | marc |
| series | Concurrent systems engineering series ; |
| series2 | Concurrent systems engineering series, |
| spelling | WoTUG Technical Meeting (29th : 2006 : Edinburgh, Scotland) Communicating process architectures 2006 : WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland / edited by Peter H. Welch, Jon Kerridge and Frederick R.M. Barnes. Amsterdam : Washington, D.C. : IOS Press, ©2006. 1 online resource (viii, 391 pages) : illustrations. text txt rdacontent computer c rdamedia online resource cr rdacarrier Concurrent systems engineering series, 1383-7575 ; v. 64 Includes bibliographical references and index. Title page; Preface; Programme Committee; Contents; SpaceWire -- DS-Links Reborn; An Introduction to CSP.NET; Performance Evaluation of JCSP Micro Edition: JCSPme; Ubiquitous Access to Site Specific Services by Mobile Devices: The Process View; CSP for .NET Based on JCSP; pony -- The occam-pi Network Environment; A Study of Percolation Phenomena in Process Networks; Portable CSP Based Design for Embedded Multi-Core Systems; A JCSP.net Implementation of a Massively Multiplayer Online Game; SystemCSP -- Visual Notation; Interacting Components. Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms for Microsoft's .NET framework, and more. Print version record. 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 Systems Architecture Distributed Systems & Computing. bisacsh Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast Conference papers and proceedings fast Welch, Peter H. Kerridge, Jon. Barnes, Frederick R. M. has work: Communicating process architectures 2006 (Text) https://id.oclc.org/worldcat/entity/E39PCYdRVqvDhWYDyfxBB6dTXm https://id.oclc.org/worldcat/ontology/hasWork Print version: WoTUG Technical Meeting (29th : 2006 : Edinburgh, Scotland). Communicating process architectures 2006. Amsterdam : Washington, D.C. : IOS Press, ©2006 9781586036713 1586036718 (DLC) 2006932503 (OCoLC)76910525 Concurrent systems engineering series ; v. 64. 1383-7575 http://id.loc.gov/authorities/names/no98106767 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=176065 Volltext |
| spellingShingle | Communicating process architectures 2006 : WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland / Concurrent systems engineering series ; Title page; Preface; Programme Committee; Contents; SpaceWire -- DS-Links Reborn; An Introduction to CSP.NET; Performance Evaluation of JCSP Micro Edition: JCSPme; Ubiquitous Access to Site Specific Services by Mobile Devices: The Process View; CSP for .NET Based on JCSP; pony -- The occam-pi Network Environment; A Study of Percolation Phenomena in Process Networks; Portable CSP Based Design for Embedded Multi-Core Systems; A JCSP.net Implementation of a Massively Multiplayer Online Game; SystemCSP -- Visual Notation; Interacting Components. 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 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 2006 : WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland / |
| title_auth | Communicating process architectures 2006 : WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland / |
| title_exact_search | Communicating process architectures 2006 : WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland / |
| title_full | Communicating process architectures 2006 : WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland / edited by Peter H. Welch, Jon Kerridge and Frederick R.M. Barnes. |
| title_fullStr | Communicating process architectures 2006 : WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland / edited by Peter H. Welch, Jon Kerridge and Frederick R.M. Barnes. |
| title_full_unstemmed | Communicating process architectures 2006 : WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland / edited by Peter H. Welch, Jon Kerridge and Frederick R.M. Barnes. |
| title_short | Communicating process architectures 2006 : |
| title_sort | communicating process architectures 2006 wotug 29 proceedings of the 29th wotug technical meeting 17 20 september 2006 napier university edinburgh scotland |
| title_sub | WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland / |
| 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 Systems Architecture Distributed Systems & Computing. 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 Systems Architecture Distributed Systems & Computing. Computer architecture occam (Computer program language) Parallel processing (Electronic computers) Transputers Conference papers and proceedings |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=176065 |
| work_keys_str_mv | AT wotugtechnicalmeetingedinburghscotland communicatingprocessarchitectures2006wotug29proceedingsofthe29thwotugtechnicalmeeting1720september2006napieruniversityedinburghscotland AT welchpeterh communicatingprocessarchitectures2006wotug29proceedingsofthe29thwotugtechnicalmeeting1720september2006napieruniversityedinburghscotland AT kerridgejon communicatingprocessarchitectures2006wotug29proceedingsofthe29thwotugtechnicalmeeting1720september2006napieruniversityedinburghscotland AT barnesfrederickrm communicatingprocessarchitectures2006wotug29proceedingsofthe29thwotugtechnicalmeeting1720september2006napieruniversityedinburghscotland |