Cargando…
Communicating process architectures 2007 : WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom /
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 si...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Washington, DC :
IOS Press,
2007.
|
| Colección: | Concurrent systems engineering series ;
v. 65. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn181557304 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 071118s2007 ne a ob 101 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d IOSPR |d IDEBK |d OCLCQ |d E7B |d NRU |d OCLCQ |d OCLCF |d OCLCQ |d NLGGC |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d OCLCQ |d AZK |d LOA |d AGLDB |d COCUF |d MOR |d PIFAG |d OCLCQ |d U3W |d STF |d WRM |d VTS |d NRAMU |d INT |d VT2 |d OCLCQ |d WYU |d OCLCQ |d M8D |d UKCRE |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 491262379 |a 647673173 |a 961527919 |a 962595346 |a 965978649 |a 974198369 |a 988530480 |a 991963743 |a 1037705763 |a 1038666236 |a 1042327059 |a 1043020339 |a 1045551159 |a 1055366807 |a 1066666987 |a 1081258205 |a 1119121547 |a 1153463177 |a 1228535397 | ||
| 020 | |a 9781435608672 |q (electronic bk.) | ||
| 020 | |a 1435608674 |q (electronic bk.) | ||
| 020 | |a 9781607502616 | ||
| 020 | |a 1607502615 | ||
| 020 | |a 1586037676 | ||
| 020 | |a 9781586037673 | ||
| 020 | |z 9781586037673 |q (soft cover) | ||
| 029 | 1 | |a AU@ |b 000046687090 | |
| 029 | 1 | |a AU@ |b 000051356568 | |
| 029 | 1 | |a DEBBG |b BV043127781 | |
| 029 | 1 | |a DEBSZ |b 422173150 | |
| 029 | 1 | |a HEBIS |b 286034034 | |
| 029 | 1 | |a NZ1 |b 14166924 | |
| 029 | 1 | |a AU@ |b 000073099236 | |
| 035 | |a (OCoLC)181557304 |z (OCoLC)491262379 |z (OCoLC)647673173 |z (OCoLC)961527919 |z (OCoLC)962595346 |z (OCoLC)965978649 |z (OCoLC)974198369 |z (OCoLC)988530480 |z (OCoLC)991963743 |z (OCoLC)1037705763 |z (OCoLC)1038666236 |z (OCoLC)1042327059 |z (OCoLC)1043020339 |z (OCoLC)1045551159 |z (OCoLC)1055366807 |z (OCoLC)1066666987 |z (OCoLC)1081258205 |z (OCoLC)1119121547 |z (OCoLC)1153463177 |z (OCoLC)1228535397 | ||
| 037 | |a 978-1-58603-767-3 |b IOS Press |n http://www.iospress.nl | ||
| 050 | 4 | |a QA76.58 |b .W58 2007eb | |
| 072 | 7 | |a COM |x COM014000 |2 bisacsh | |
| 082 | 0 | 4 | |a 004/.35 |2 22 |
| 049 | |a UAMI | ||
| 111 | 2 | |a WoTUG Technical Meeting |n (30th : |d 2007 : |c University of Surrey) | |
| 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 [and others]. |
| 260 | |a Amsterdam ; |a Washington, DC : |b IOS Press, |c 2007. | ||
| 300 | |a 1 online resource (xi, 513 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 | ||
| 347 | |a data file | ||
| 490 | 1 | |a Concurrent systems engineering series, |x 1383-7575 ; |v v. 65 | |
| 504 | |a Includes bibliographical references and index. | ||
| 520 | |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. | ||
| 505 | 0 | |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. | |
| 588 | 0 | |a Print version record. | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 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 McEwan, Alistair A. | |
| 776 | 0 | 8 | |i Print version: |a WoTUG Technical Meeting (30th : 2007 : University of Surrey). |t Communicating process architectures 2007. |d Amsterdam ; Washington, DC : IOS Press, 2007 |z 9781586037673 |z 1586037676 |w (OCoLC)156818934 |
| 830 | 0 | |a Concurrent systems engineering series ; |v v. 65. |x 1383-7575 | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=209237 |z Texto completo |
| 938 | |a ebrary |b EBRY |n ebr10196594 | ||
| 938 | |a EBSCOhost |b EBSC |n 209237 | ||
| 938 | |a YBP Library Services |b YANK |n 2733432 | ||
| 938 | |a YBP Library Services |b YANK |n 2744274 | ||
| 938 | |a YBP Library Services |b YANK |n 3207272 | ||
| 994 | |a 92 |b IZTAP | ||