Cargando…
Communicating Process Architectures 2005 : WoTUG-28 : Proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands /
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); a...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico Congresos, conferencias eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Washington, D.C. :
IOS Press,
©2005.
|
| Colección: | Concurrent systems engineering series ;
v. 63. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm71211072 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 060830s2005 ne a ob 101 0 eng d | ||
| 010 | |z 2005932067 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d TUU |d OCLCQ |d SFB |d EBLCP |d IOSPR |d IDEBK |d DKDLA |d ADU |d E7B |d MHW |d FVL |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d DEBSZ |d OCLCO |d OCLCQ |d OCLCO |d OCL |d OCLCO |d NKT |d OCLCQ |d AZK |d LOA |d COCUF |d AGLDB |d MOR |d PIFBR |d OCLCQ |d WY@ |d U3W |d LUE |d STF |d WRM |d VTS |d INT |d NRAMU |d VT2 |d OCLCQ |d WYU |d OCLCQ |d M8D |d UKCRE |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 150388503 |a 243614318 |a 299570427 |a 473068828 |a 488644787 |a 491253446 |a 615004468 |a 647519012 |a 722475314 |a 728017024 |a 888810566 |a 961664088 |a 962585070 |a 965988884 |a 988524196 |a 992070129 |a 1037727145 |a 1038668658 |a 1045524584 |a 1066422405 |a 1081219845 |a 1153461163 |a 1228544223 | ||
| 020 | |a 1423797353 |q (electronic bk.) | ||
| 020 | |a 9781423797357 |q (electronic bk.) | ||
| 020 | |a 1586035614 | ||
| 020 | |a 9781586035617 | ||
| 020 | |a 9781601291240 | ||
| 020 | |a 1601291248 | ||
| 020 | |a 9781607501442 | ||
| 020 | |a 1607501449 | ||
| 024 | 3 | |z 9781586035617 | |
| 029 | 1 | |a AU@ |b 000046687175 | |
| 029 | 1 | |a AU@ |b 000051356566 | |
| 029 | 1 | |a AU@ |b 000053249394 | |
| 029 | 1 | |a DEBBG |b BV043130573 | |
| 029 | 1 | |a DEBSZ |b 422266248 | |
| 029 | 1 | |a DEBSZ |b 430344163 | |
| 029 | 1 | |a GBVCP |b 80216479X | |
| 029 | 1 | |a NZ1 |b 12438014 | |
| 035 | |a (OCoLC)71211072 |z (OCoLC)150388503 |z (OCoLC)243614318 |z (OCoLC)299570427 |z (OCoLC)473068828 |z (OCoLC)488644787 |z (OCoLC)491253446 |z (OCoLC)615004468 |z (OCoLC)647519012 |z (OCoLC)722475314 |z (OCoLC)728017024 |z (OCoLC)888810566 |z (OCoLC)961664088 |z (OCoLC)962585070 |z (OCoLC)965988884 |z (OCoLC)988524196 |z (OCoLC)992070129 |z (OCoLC)1037727145 |z (OCoLC)1038668658 |z (OCoLC)1045524584 |z (OCoLC)1066422405 |z (OCoLC)1081219845 |z (OCoLC)1153461163 |z (OCoLC)1228544223 | ||
| 037 | |a EBL265963 |b Ebook Library |n http://www.eblib.com | ||
| 050 | 4 | |a QA76.58 |b .W58 2005eb | |
| 072 | 7 | |a COM |x 048000 |2 bisacsh | |
| 082 | 0 | 4 | |a 004/.35 |2 22 |
| 084 | |a 54.31 |2 bcl | ||
| 084 | |a 54.51 |2 bcl | ||
| 049 | |a UAMI | ||
| 111 | 2 | |a WoTUG Technical Meeting |n (28th : |d 2005 : |c Technische Universiteit Eindhoven) | |
| 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]. |
| 260 | |a Amsterdam ; |a Washington, D.C. : |b IOS Press, |c ©2005. | ||
| 300 | |a 1 online resource (x, 405 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 |2 rda | ||
| 490 | 1 | |a Concurrent systems engineering series, |x 1383-7575 ; |v v. 63 | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |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. | |
| 520 | |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. | ||
| 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 Broenink, Jan F. | |
| 776 | 0 | 8 | |i Print version: |a WoTUG Technical Meeting (28th : 2005 : Technische Universiteit Eindhoven). |t Communicating process architectures 2005. |d Amsterdam ; Washington, D.C. : IOS Press, ©2005 |z 1586035614 |w (DLC) 2005932067 |w (OCoLC)64022902 |
| 830 | 0 | |a Concurrent systems engineering series ; |v v. 63. |x 1383-7575 | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=164004 |z Texto completo |
| 938 | |a ebrary |b EBRY |n ebr10130990 | ||
| 938 | |a EBSCOhost |b EBSC |n 164004 | ||
| 938 | |a YBP Library Services |b YANK |n 2468028 | ||
| 938 | |a YBP Library Services |b YANK |n 2628201 | ||
| 938 | |a YBP Library Services |b YANK |n 3207161 | ||
| 994 | |a 92 |b IZTAP | ||