Communicating process architectures 2007: WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Amsterdam
IOS Press
2007
|
| Series: | Concurrent systems engineering series
v. 65 |
| Subjects: | |
| Online Access: | FAW01 FAW02 Volltext |
| Item Description: | Includes bibliographical references and index Deals with Computer Science and models of Concurrency. This title emphasizes on hardware/software co-design and the understanding of concurrency that results from these systems. It includes a range of papers on this topic, from the formal modeling of buses in co-design systems through to software simulation and development environments Title page; Preface; Programme Committee; Additional Reviewers; Contents; Fine-Grain Concurrency; Communicating Process Architecture for Multicores; Lazy Exploration and Checking of CSP Models with CSPsim; The Core Language of Aldwych; JCSProB: Implementing Integrated Formal Specifications in Concurrent Java; Components with Symbolic Transition Systems: A Java Implementation of Rendezvous; Concurrent/Reactive System Design with Honeysuckle; CSP and Real-Time: Reality or Illusion?; Testing and Sampling Parallel Systems; Mobility in JCSP: New Mobile Channel and Mobile Process Models |
| Physical Description: | 1 Online-Ressource (xi, 513 p.) |
| ISBN: | 1435608674 1607502615 9781435608672 9781586037673 9781607502616 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043127781 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2007 |||| o||u| ||||||eng d | ||
| 020 | |a 1435608674 |c electronic bk. |9 1-4356-0867-4 | ||
| 020 | |a 1607502615 |9 1-60750-261-5 | ||
| 020 | |a 9781435608672 |c electronic bk. |9 978-1-4356-0867-2 | ||
| 020 | |a 9781586037673 |c soft cover |9 978-1-58603-767-3 | ||
| 020 | |a 9781607502616 |9 978-1-60750-261-6 | ||
| 035 | |a (OCoLC)181557304 | ||
| 035 | |a (DE-599)BVBBV043127781 | ||
| 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 < 2007, University of Surrey> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Communicating process architectures 2007 |b WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom |c edited by Alistair A. McEwan ... [et al.] |
| 264 | 1 | |a Amsterdam |b IOS Press |c 2007 | |
| 300 | |a 1 Online-Ressource (xi, 513 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. 65 | |
| 500 | |a Includes bibliographical references and index | ||
| 500 | |a Deals with Computer Science and models of Concurrency. This title emphasizes on hardware/software co-design and the understanding of concurrency that results from these systems. It includes a range of papers on this topic, from the formal modeling of buses in co-design systems through to software simulation and development environments | ||
| 500 | |a Title page; Preface; Programme Committee; Additional Reviewers; Contents; Fine-Grain Concurrency; Communicating Process Architecture for Multicores; Lazy Exploration and Checking of CSP Models with CSPsim; The Core Language of Aldwych; JCSProB: Implementing Integrated Formal Specifications in Concurrent Java; Components with Symbolic Transition Systems: A Java Implementation of Rendezvous; Concurrent/Reactive System Design with Honeysuckle; CSP and Real-Time: Reality or Illusion?; Testing and Sampling Parallel Systems; Mobility in JCSP: New Mobile Channel and Mobile Process Models | ||
| 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 McEwan, Alistair A. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=209237 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028551972 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=209237 |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=209237 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Record in the Search Index
| _version_ | 1804175563938594816 |
|---|---|
| any_adam_object | |
| author_corporate | WoTUG Technical Meeting < 2007, University of Surrey> |
| author_corporate_role | aut |
| author_facet | WoTUG Technical Meeting < 2007, University of Surrey> |
| author_sort | WoTUG Technical Meeting < 2007, University of Surrey> |
| building | Verbundindex |
| bvnumber | BV043127781 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)181557304 (DE-599)BVBBV043127781 |
| 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>03370nmm a2200541zcb4500</leader><controlfield tag="001">BV043127781</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2007 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1435608674</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">1-4356-0867-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607502615</subfield><subfield code="9">1-60750-261-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781435608672</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-1-4356-0867-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781586037673</subfield><subfield code="c">soft cover</subfield><subfield code="9">978-1-58603-767-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607502616</subfield><subfield code="9">978-1-60750-261-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)181557304</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043127781</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 < 2007, University of Surrey></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 2007</subfield><subfield code="b">WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom</subfield><subfield code="c">edited by Alistair A. McEwan ... [et al.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">IOS Press</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xi, 513 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. 65</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">Deals with Computer Science and models of Concurrency. This title emphasizes on hardware/software co-design and the understanding of concurrency that results from these systems. It includes a range of papers on this topic, from the formal modeling of buses in co-design systems through to software simulation and development environments</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title page; Preface; Programme Committee; Additional Reviewers; Contents; Fine-Grain Concurrency; Communicating Process Architecture for Multicores; Lazy Exploration and Checking of CSP Models with CSPsim; The Core Language of Aldwych; JCSProB: Implementing Integrated Formal Specifications in Concurrent Java; Components with Symbolic Transition Systems: A Java Implementation of Rendezvous; Concurrent/Reactive System Design with Honeysuckle; CSP and Real-Time: Reality or Illusion?; Testing and Sampling Parallel Systems; Mobility in JCSP: New Mobile Channel and Mobile Process Models</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">McEwan, Alistair A.</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=209237</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-028551972</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=209237</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=209237</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.BV043127781 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:18:17Z |
| institution | BVB |
| isbn | 1435608674 1607502615 9781435608672 9781586037673 9781607502616 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028551972 |
| oclc_num | 181557304 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xi, 513 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | IOS Press |
| record_format | marc |
| series2 | Concurrent systems engineering series |
| spelling | WoTUG Technical Meeting < 2007, University of Surrey> Verfasser aut Communicating process architectures 2007 WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom edited by Alistair A. McEwan ... [et al.] Amsterdam IOS Press 2007 1 Online-Ressource (xi, 513 p.) txt rdacontent c rdamedia cr rdacarrier Concurrent systems engineering series v. 65 Includes bibliographical references and index Deals with Computer Science and models of Concurrency. This title emphasizes on hardware/software co-design and the understanding of concurrency that results from these systems. It includes a range of papers on this topic, from the formal modeling of buses in co-design systems through to software simulation and development environments Title page; Preface; Programme Committee; Additional Reviewers; Contents; Fine-Grain Concurrency; Communicating Process Architecture for Multicores; Lazy Exploration and Checking of CSP Models with CSPsim; The Core Language of Aldwych; JCSProB: Implementing Integrated Formal Specifications in Concurrent Java; Components with Symbolic Transition Systems: A Java Implementation of Rendezvous; Concurrent/Reactive System Design with Honeysuckle; CSP and Real-Time: Reality or Illusion?; Testing and Sampling Parallel Systems; Mobility in JCSP: New Mobile Channel and Mobile Process Models 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 McEwan, Alistair A. Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=209237 Aggregator Volltext |
| spellingShingle | Communicating process architectures 2007 WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom 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 2007 WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom |
| title_auth | Communicating process architectures 2007 WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom |
| title_exact_search | Communicating process architectures 2007 WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom |
| title_full | Communicating process architectures 2007 WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom edited by Alistair A. McEwan ... [et al.] |
| title_fullStr | Communicating process architectures 2007 WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom edited by Alistair A. McEwan ... [et al.] |
| title_full_unstemmed | Communicating process architectures 2007 WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom edited by Alistair A. McEwan ... [et al.] |
| title_short | Communicating process architectures 2007 |
| title_sort | communicating process architectures 2007 wotug 30 proceedings of the 30th wotug technical meeting 8 11 july 2007 university of surrey guildford united kingdom |
| title_sub | WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom |
| 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=209237 |
| work_keys_str_mv | AT wotugtechnicalmeeting2007universityofsurrey communicatingprocessarchitectures2007wotug30proceedingsofthe30thwotugtechnicalmeeting811july2007universityofsurreyguildfordunitedkingdom AT mcewanalistaira communicatingprocessarchitectures2007wotug30proceedingsofthe30thwotugtechnicalmeeting811july2007universityofsurreyguildfordunitedkingdom |