Communicating process architectures 2006: WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Washington, D.C.
c2006
|
| Schriftenreihe: | Concurrent systems engineering series
v. 64 |
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | 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 |
| Beschreibung: | 1 Online-Ressource (viii, 391 p.) |
| ISBN: | 1429419075 1607502054 9781429419079 9781607502050 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043156148 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2006 |||| o||u| ||||||eng d | ||
| 020 | |a 1429419075 |c electronic bk. |9 1-4294-1907-5 | ||
| 020 | |a 1607502054 |9 1-60750-205-4 | ||
| 020 | |a 9781429419079 |c electronic bk. |9 978-1-4294-1907-9 | ||
| 020 | |a 9781607502050 |9 978-1-60750-205-0 | ||
| 035 | |a (OCoLC)78070156 | ||
| 035 | |a (DE-599)BVBBV043156148 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 004/.35 |2 22 | |
| 110 | 2 | |a WoTUG Technical Meeting < 2006, Edinburgh, Scotland> |e Verfasser |4 aut | |
| 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 |
| 264 | 1 | |a Amsterdam |b Washington, D.C. |c c2006 | |
| 300 | |a 1 Online-Ressource (viii, 391 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Concurrent systems engineering series |v v. 64 | |
| 500 | |a Includes bibliographical references and index | ||
| 500 | |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 | ||
| 500 | |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 | ||
| 650 | 7 | |a COMPUTERS / Systems Architecture / 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 | |
| 650 | 4 | |a Parallel processing (Electronic computers) |v Congresses | |
| 650 | 4 | |a occam (Computer program language) |v Congresses | |
| 650 | 4 | |a Transputers |v Congresses | |
| 650 | 4 | |a Computer architecture |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Welch, Peter H. |e Sonstige |4 oth | |
| 700 | 1 | |a Kerridge, Jon |e Sonstige |4 oth | |
| 700 | 1 | |a Barnes, Frederick R. M. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176065 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028580339 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176065 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176065 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175621503320064 |
|---|---|
| any_adam_object | |
| author_corporate | WoTUG Technical Meeting < 2006, Edinburgh, Scotland> |
| author_corporate_role | aut |
| author_facet | WoTUG Technical Meeting < 2006, Edinburgh, Scotland> |
| author_sort | WoTUG Technical Meeting < 2006, Edinburgh, Scotland> |
| building | Verbundindex |
| bvnumber | BV043156148 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)78070156 (DE-599)BVBBV043156148 |
| 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 eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03393nmm a2200553zcb4500</leader><controlfield tag="001">BV043156148</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2006 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1429419075</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-4294-1907-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607502054</subfield><subfield code="9">1-60750-205-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781429419079</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-4294-1907-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607502050</subfield><subfield code="9">978-1-60750-205-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)78070156</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043156148</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.35</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">WoTUG Technical Meeting < 2006, Edinburgh, Scotland></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</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="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Washington, D.C.</subfield><subfield code="c">c2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (viii, 391 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Concurrent systems engineering series</subfield><subfield code="v">v. 64</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " 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="500" 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="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Systems Architecture / 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="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">occam (Computer program language)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Transputers</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer architecture</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Welch, Peter H.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kerridge, Jon</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barnes, Frederick R. M.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176065</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028580339</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176065</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176065</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043156148 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:19:12Z |
| institution | BVB |
| isbn | 1429419075 1607502054 9781429419079 9781607502050 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028580339 |
| oclc_num | 78070156 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (viii, 391 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Washington, D.C. |
| record_format | marc |
| series2 | Concurrent systems engineering series |
| spelling | WoTUG Technical Meeting < 2006, Edinburgh, Scotland> Verfasser aut 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. c2006 1 Online-Ressource (viii, 391 p.) txt rdacontent c rdamedia cr rdacarrier Concurrent systems engineering series 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 COMPUTERS / Systems Architecture / Distributed Systems & Computing bisacsh Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast Parallel processing (Electronic computers) Congresses occam (Computer program language) Congresses Transputers Congresses Computer architecture Congresses (DE-588)1071861417 Konferenzschrift gnd-content Welch, Peter H. Sonstige oth Kerridge, Jon Sonstige oth Barnes, Frederick R. M. Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176065 Aggregator Volltext |
| spellingShingle | Communicating process architectures 2006 WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland COMPUTERS / Systems Architecture / Distributed Systems & Computing bisacsh Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast Parallel processing (Electronic computers) Congresses occam (Computer program language) Congresses Transputers Congresses Computer architecture Congresses |
| subject_GND | (DE-588)1071861417 |
| 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 | COMPUTERS / Systems Architecture / Distributed Systems & Computing bisacsh Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast Parallel processing (Electronic computers) Congresses occam (Computer program language) Congresses Transputers Congresses Computer architecture Congresses |
| topic_facet | COMPUTERS / Systems Architecture / Distributed Systems & Computing Computer architecture occam (Computer program language) Parallel processing (Electronic computers) Transputers Parallel processing (Electronic computers) Congresses occam (Computer program language) Congresses Transputers Congresses Computer architecture Congresses Konferenzschrift |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=176065 |
| work_keys_str_mv | AT wotugtechnicalmeeting2006edinburghscotland communicatingprocessarchitectures2006wotug29proceedingsofthe29thwotugtechnicalmeeting1720september2006napieruniversityedinburghscotland AT welchpeterh communicatingprocessarchitectures2006wotug29proceedingsofthe29thwotugtechnicalmeeting1720september2006napieruniversityedinburghscotland AT kerridgejon communicatingprocessarchitectures2006wotug29proceedingsofthe29thwotugtechnicalmeeting1720september2006napieruniversityedinburghscotland AT barnesfrederickrm communicatingprocessarchitectures2006wotug29proceedingsofthe29thwotugtechnicalmeeting1720september2006napieruniversityedinburghscotland |