Communicating process architectures 2009: WoTUG-32
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
IOS Press
©2009
|
| Schriftenreihe: | Concurrent systems engineering series
v. 67 |
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | "Proceedings of the 32nd WoTUG Technical Meeting, 1-4 November 2009, TU Eindhoven, Eindhoven, the Netherlands." Includes bibliographical references and indexes "This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent - so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications."--Jacket Title page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi |
| Beschreibung: | 1 Online-Ressource (x, 407 pages) |
| ISBN: | 1607505134 9781607505136 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043116446 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2009 |||| o||u| ||||||eng d | ||
| 020 | |a 1607505134 |9 1-60750-513-4 | ||
| 020 | |a 9781607505136 |9 978-1-60750-513-6 | ||
| 035 | |a (OCoLC)591152273 | ||
| 035 | |a (DE-599)BVBBV043116446 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 004 |2 22 | |
| 110 | 2 | |a WoTUG Technical Meeting < 2009, Technische Universiteit Eindhoven, Netherlands> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Communicating process architectures 2009 |b WoTUG-32 |c edited by Peter H. Welch [and others] |
| 246 | 1 | 3 | |a WoTUG-32 |
| 264 | 1 | |a Amsterdam |b IOS Press |c ©2009 | |
| 300 | |a 1 Online-Ressource (x, 407 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. 67 | |
| 500 | |a "Proceedings of the 32nd WoTUG Technical Meeting, 1-4 November 2009, TU Eindhoven, Eindhoven, the Netherlands." | ||
| 500 | |a Includes bibliographical references and indexes | ||
| 500 | |a "This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent - so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications."--Jacket | ||
| 500 | |a Title page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi | ||
| 650 | 7 | |a COMPUTERS / Reference |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Machine Theory |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Computer Literacy |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Information Technology |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Data Processing |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Computer Science |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Hardware / General |2 bisacsh | |
| 650 | 7 | |a Computer architecture |2 fast | |
| 650 | 7 | |a occam (Computer program language) |2 fast | |
| 650 | 7 | |a Parallel processing (Electronic computers) |2 fast | |
| 650 | 7 | |a Transputers |2 fast | |
| 650 | 4 | |a Informatik | |
| 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, P. H. |e Sonstige |4 oth | |
| 710 | 2 | |a IOS Press |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 1-60750-065-5 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-1-60750-065-0 |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=315821 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028540637 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=315821 |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=315821 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175541577711616 |
|---|---|
| any_adam_object | |
| author_corporate | WoTUG Technical Meeting < 2009, Technische Universiteit Eindhoven, Netherlands> |
| author_corporate_role | aut |
| author_facet | WoTUG Technical Meeting < 2009, Technische Universiteit Eindhoven, Netherlands> |
| author_sort | WoTUG Technical Meeting < 2009, Technische Universiteit Eindhoven, Netherlands> |
| building | Verbundindex |
| bvnumber | BV043116446 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)591152273 (DE-599)BVBBV043116446 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04653nmm a2200649zcb4500</leader><controlfield tag="001">BV043116446</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2009 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607505134</subfield><subfield code="9">1-60750-513-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607505136</subfield><subfield code="9">978-1-60750-513-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)591152273</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043116446</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</subfield><subfield code="2">22</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">WoTUG Technical Meeting < 2009, Technische Universiteit Eindhoven, Netherlands></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 2009</subfield><subfield code="b">WoTUG-32</subfield><subfield code="c">edited by Peter H. Welch [and others]</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">WoTUG-32</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">IOS Press</subfield><subfield code="c">©2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 407 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. 67</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"Proceedings of the 32nd WoTUG Technical Meeting, 1-4 November 2009, TU Eindhoven, Eindhoven, the Netherlands."</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and indexes</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">"This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent - so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications."--Jacket</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Reference</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Machine Theory</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Literacy</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Information Technology</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Data Processing</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Computer Science</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Hardware / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer architecture</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">occam (Computer program language)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallel processing (Electronic computers)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Transputers</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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, P. H.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">IOS Press</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">1-60750-065-5</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-1-60750-065-0</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=315821</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-028540637</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=315821</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=315821</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.BV043116446 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:17:56Z |
| institution | BVB |
| isbn | 1607505134 9781607505136 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028540637 |
| oclc_num | 591152273 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (x, 407 pages) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | IOS Press |
| record_format | marc |
| series2 | Concurrent systems engineering series |
| spelling | WoTUG Technical Meeting < 2009, Technische Universiteit Eindhoven, Netherlands> Verfasser aut Communicating process architectures 2009 WoTUG-32 edited by Peter H. Welch [and others] WoTUG-32 Amsterdam IOS Press ©2009 1 Online-Ressource (x, 407 pages) txt rdacontent c rdamedia cr rdacarrier Concurrent systems engineering series v. 67 "Proceedings of the 32nd WoTUG Technical Meeting, 1-4 November 2009, TU Eindhoven, Eindhoven, the Netherlands." Includes bibliographical references and indexes "This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent - so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications."--Jacket Title page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi COMPUTERS / Reference bisacsh COMPUTERS / Machine Theory bisacsh COMPUTERS / Computer Literacy bisacsh COMPUTERS / Information Technology bisacsh COMPUTERS / Data Processing bisacsh COMPUTERS / Computer Science bisacsh COMPUTERS / Hardware / General bisacsh Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast Informatik Parallel processing (Electronic computers) Congresses occam (Computer program language) Congresses Transputers Congresses Computer architecture Congresses (DE-588)1071861417 Konferenzschrift gnd-content Welch, P. H. Sonstige oth IOS Press Sonstige oth Erscheint auch als Druck-Ausgabe, Paperback 1-60750-065-5 Erscheint auch als Druck-Ausgabe, Paperback 978-1-60750-065-0 http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=315821 Aggregator Volltext |
| spellingShingle | Communicating process architectures 2009 WoTUG-32 COMPUTERS / Reference bisacsh COMPUTERS / Machine Theory bisacsh COMPUTERS / Computer Literacy bisacsh COMPUTERS / Information Technology bisacsh COMPUTERS / Data Processing bisacsh COMPUTERS / Computer Science bisacsh COMPUTERS / Hardware / General bisacsh Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast Informatik Parallel processing (Electronic computers) Congresses occam (Computer program language) Congresses Transputers Congresses Computer architecture Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Communicating process architectures 2009 WoTUG-32 |
| title_alt | WoTUG-32 |
| title_auth | Communicating process architectures 2009 WoTUG-32 |
| title_exact_search | Communicating process architectures 2009 WoTUG-32 |
| title_full | Communicating process architectures 2009 WoTUG-32 edited by Peter H. Welch [and others] |
| title_fullStr | Communicating process architectures 2009 WoTUG-32 edited by Peter H. Welch [and others] |
| title_full_unstemmed | Communicating process architectures 2009 WoTUG-32 edited by Peter H. Welch [and others] |
| title_short | Communicating process architectures 2009 |
| title_sort | communicating process architectures 2009 wotug 32 |
| title_sub | WoTUG-32 |
| topic | COMPUTERS / Reference bisacsh COMPUTERS / Machine Theory bisacsh COMPUTERS / Computer Literacy bisacsh COMPUTERS / Information Technology bisacsh COMPUTERS / Data Processing bisacsh COMPUTERS / Computer Science bisacsh COMPUTERS / Hardware / General bisacsh Computer architecture fast occam (Computer program language) fast Parallel processing (Electronic computers) fast Transputers fast Informatik Parallel processing (Electronic computers) Congresses occam (Computer program language) Congresses Transputers Congresses Computer architecture Congresses |
| topic_facet | COMPUTERS / Reference COMPUTERS / Machine Theory COMPUTERS / Computer Literacy COMPUTERS / Information Technology COMPUTERS / Data Processing COMPUTERS / Computer Science COMPUTERS / Hardware / General Computer architecture occam (Computer program language) Parallel processing (Electronic computers) Transputers Informatik 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=315821 |
| work_keys_str_mv | AT wotugtechnicalmeeting2009technischeuniversiteiteindhovennetherlands communicatingprocessarchitectures2009wotug32 AT welchph communicatingprocessarchitectures2009wotug32 AT iospress communicatingprocessarchitectures2009wotug32 AT wotugtechnicalmeeting2009technischeuniversiteiteindhovennetherlands wotug32 AT welchph wotug32 AT iospress wotug32 |