Communicating process architectures 2005: WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
IOS Press
©2005
|
| Schriftenreihe: | Concurrent systems engineering series
v. 63 |
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | Includes bibliographical references and index Title page; Preface; Programme Committee; Contents; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams Modern computing systems work when all components are correct by design and can be combined to achieve scalability. This publication offers refereed papers covering various aspects such as: system design and implementation; tools (concurrent programming languages, libraries, and run-time kernels); and, formal methods and applications |
| Beschreibung: | 1 Online-Ressource (x, 405 pages) |
| ISBN: | 1423797353 1586035614 1601291248 1607501449 9781423797357 9781586035617 9781601291240 9781607501442 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043130573 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2005 |||| o||u| ||||||eng d | ||
| 020 | |a 1423797353 |c electronic bk. |9 1-4237-9735-3 | ||
| 020 | |a 1586035614 |9 1-58603-561-4 | ||
| 020 | |a 1601291248 |9 1-60129-124-8 | ||
| 020 | |a 1607501449 |9 1-60750-144-9 | ||
| 020 | |a 9781423797357 |c electronic bk. |9 978-1-4237-9735-7 | ||
| 020 | |a 9781586035617 |9 978-1-58603-561-7 | ||
| 020 | |a 9781601291240 |9 978-1-60129-124-0 | ||
| 020 | |a 9781607501442 |9 978-1-60750-144-2 | ||
| 035 | |a (OCoLC)71211072 | ||
| 035 | |a (DE-599)BVBBV043130573 | ||
| 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 < 2005, Technische Universiteit Eindhoven> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Communicating process architectures 2005 |b WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands |c ed. by Jan F. Broenink [and others] |
| 264 | 1 | |a Amsterdam |b IOS Press |c ©2005 | |
| 300 | |a 1 Online-Ressource (x, 405 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Concurrent systems engineering series |v v. 63 | |
| 500 | |a Includes bibliographical references and index | ||
| 500 | |a Title page; Preface; Programme Committee; Contents; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams | ||
| 500 | |a Modern computing systems work when all components are correct by design and can be combined to achieve scalability. This publication offers refereed papers covering various aspects such as: system design and implementation; tools (concurrent programming languages, libraries, and run-time kernels); and, formal methods and applications | ||
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 650 | 4 | |a occam (Computer program language) | |
| 650 | 4 | |a Transputers | |
| 650 | 4 | |a Computer architecture | |
| 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 Broenink, Jan F. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=164004 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028554764 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=164004 |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=164004 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175569444667392 |
|---|---|
| any_adam_object | |
| author_corporate | WoTUG Technical Meeting < 2005, Technische Universiteit Eindhoven> |
| author_corporate_role | aut |
| author_facet | WoTUG Technical Meeting < 2005, Technische Universiteit Eindhoven> |
| author_sort | WoTUG Technical Meeting < 2005, Technische Universiteit Eindhoven> |
| building | Verbundindex |
| bvnumber | BV043130573 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)71211072 (DE-599)BVBBV043130573 |
| 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>03678nmm a2200625zcb4500</leader><controlfield tag="001">BV043130573</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2005 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1423797353</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-4237-9735-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1586035614</subfield><subfield code="9">1-58603-561-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1601291248</subfield><subfield code="9">1-60129-124-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607501449</subfield><subfield code="9">1-60750-144-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781423797357</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-4237-9735-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586035617</subfield><subfield code="9">978-1-58603-561-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781601291240</subfield><subfield code="9">978-1-60129-124-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607501442</subfield><subfield code="9">978-1-60750-144-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)71211072</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043130573</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 < 2005, Technische Universiteit Eindhoven></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 2005</subfield><subfield code="b">WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands</subfield><subfield code="c">ed. by Jan F. Broenink [and others]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">IOS Press</subfield><subfield code="c">©2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 405 pages)</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. 63</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; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Modern computing systems work when all components are correct by design and can be combined to achieve scalability. This publication offers refereed papers covering various aspects such as: system design and implementation; tools (concurrent programming languages, libraries, and run-time kernels); and, formal methods and applications</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">occam (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Transputers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer architecture</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">Broenink, Jan F.</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=164004</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-028554764</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=164004</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=164004</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.BV043130573 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:18:22Z |
| institution | BVB |
| isbn | 1423797353 1586035614 1601291248 1607501449 9781423797357 9781586035617 9781601291240 9781607501442 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028554764 |
| oclc_num | 71211072 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (x, 405 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | IOS Press |
| record_format | marc |
| series2 | Concurrent systems engineering series |
| spelling | WoTUG Technical Meeting < 2005, Technische Universiteit Eindhoven> Verfasser aut Communicating process architectures 2005 WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands ed. by Jan F. Broenink [and others] Amsterdam IOS Press ©2005 1 Online-Ressource (x, 405 pages) txt rdacontent c rdamedia cr rdacarrier Concurrent systems engineering series v. 63 Includes bibliographical references and index Title page; Preface; Programme Committee; Contents; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams Modern computing systems work when all components are correct by design and can be combined to achieve scalability. This publication offers refereed papers covering various aspects such as: system design and implementation; tools (concurrent programming languages, libraries, and run-time kernels); and, formal methods and applications Parallel processing (Electronic computers) occam (Computer program language) Transputers Computer architecture 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 Broenink, Jan F. Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=164004 Aggregator Volltext |
| spellingShingle | Communicating process architectures 2005 WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands Parallel processing (Electronic computers) occam (Computer program language) Transputers Computer architecture 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 2005 WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands |
| title_auth | Communicating process architectures 2005 WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands |
| title_exact_search | Communicating process architectures 2005 WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands |
| title_full | Communicating process architectures 2005 WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands ed. by Jan F. Broenink [and others] |
| title_fullStr | Communicating process architectures 2005 WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands ed. by Jan F. Broenink [and others] |
| title_full_unstemmed | Communicating process architectures 2005 WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands ed. by Jan F. Broenink [and others] |
| title_short | Communicating process architectures 2005 |
| title_sort | communicating process architectures 2005 wotug 28 proceedings of the 28th wotug technical meeting 18 21 september 2005 technische universiteit eindhoven the netherlands |
| title_sub | WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands |
| topic | Parallel processing (Electronic computers) occam (Computer program language) Transputers Computer architecture 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 | Parallel processing (Electronic computers) occam (Computer program language) Transputers Computer architecture COMPUTERS / Systems Architecture / Distributed Systems & Computing 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=164004 |
| work_keys_str_mv | AT wotugtechnicalmeeting2005technischeuniversiteiteindhoven communicatingprocessarchitectures2005wotug28proceedingsofthe28thwotugtechnicalmeeting1821september2005technischeuniversiteiteindhoventhenetherlands AT broeninkjanf communicatingprocessarchitectures2005wotug28proceedingsofthe28thwotugtechnicalmeeting1821september2005technischeuniversiteiteindhoventhenetherlands |