Cargando…
Communicating process architectures 2006 : WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland /
Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms fo...
| 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,
©2006.
|
| Colección: | Concurrent systems engineering series ;
v. 64. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocm78070156 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 070115s2006 ne a ob 101 0 eng d | ||
| 010 | |a 2006932503 | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d IOSPR |d IDEBK |d OCLCQ |d MHW |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d OCLCQ |d OCL |d OCLCO |d EBLCP |d OCLCQ |d AGLDB |d ZCU |d MERUC |d OCLCQ |d VTS |d ICG |d VT2 |d OCLCQ |d WYU |d JBG |d STF |d DKC |d OCLCQ |d M8D |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
| 019 | |a 491260770 |a 1055320101 |a 1066447081 |a 1081225592 |a 1228537688 | ||
| 020 | |a 1429419075 |q (electronic bk.) | ||
| 020 | |a 9781429419079 |q (electronic bk.) | ||
| 020 | |a 9781607502050 | ||
| 020 | |a 1607502054 | ||
| 020 | |a 9781586036713 | ||
| 020 | |a 1586036718 | ||
| 029 | 1 | |a AU@ |b 000046686977 | |
| 029 | 1 | |a AU@ |b 000051356567 | |
| 029 | 1 | |a DEBBG |b BV043156148 | |
| 029 | 1 | |a DEBBG |b BV044121387 | |
| 029 | 1 | |a DEBSZ |b 422236470 | |
| 029 | 1 | |a GBVCP |b 802214428 | |
| 029 | 1 | |a YDXCP |b 2511091 | |
| 035 | |a (OCoLC)78070156 |z (OCoLC)491260770 |z (OCoLC)1055320101 |z (OCoLC)1066447081 |z (OCoLC)1081225592 |z (OCoLC)1228537688 | ||
| 037 | |a 978-1-58603-671-3 |b IOS Press |n http://www.iospress.nl | ||
| 050 | 4 | |a QA76.58 |b .W58 2006eb | |
| 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 (29th : |d 2006 : |c Edinburgh, Scotland) | |
| 245 | 1 | 0 | |a Communicating process architectures 2006 : |b WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland / |c edited by Peter H. Welch, Jon Kerridge and Frederick R.M. Barnes. |
| 260 | |a Amsterdam : |b Washington, D.C. : |b IOS Press, |c ©2006. | ||
| 300 | |a 1 online resource (viii, 391 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 | ||
| 490 | 1 | |a Concurrent systems engineering series, |x 1383-7575 ; |v v. 64 | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Title page; Preface; Programme Committee; Contents; SpaceWire -- DS-Links Reborn; An Introduction to CSP.NET; Performance Evaluation of JCSP Micro Edition: JCSPme; Ubiquitous Access to Site Specific Services by Mobile Devices: The Process View; CSP for .NET Based on JCSP; pony -- The occam-pi Network Environment; A Study of Percolation Phenomena in Process Networks; Portable CSP Based Design for Embedded Multi-Core Systems; A JCSP.net Implementation of a Massively Multiplayer Online Game; SystemCSP -- Visual Notation; Interacting Components. | |
| 520 | |a Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms for Microsoft's .NET framework, and more. | ||
| 588 | 0 | |a Print version record. | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 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 Welch, Peter H. | |
| 700 | 1 | |a Kerridge, Jon. | |
| 700 | 1 | |a Barnes, Frederick R. M. | |
| 758 | |i has work: |a Communicating process architectures 2006 (Text) |1 https://id.oclc.org/worldcat/entity/E39PCYdRVqvDhWYDyfxBB6dTXm |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a WoTUG Technical Meeting (29th : 2006 : Edinburgh, Scotland). |t Communicating process architectures 2006. |d Amsterdam : Washington, D.C. : IOS Press, ©2006 |z 9781586036713 |z 1586036718 |w (DLC) 2006932503 |w (OCoLC)76910525 |
| 830 | 0 | |a Concurrent systems engineering series ; |v v. 64. |x 1383-7575 | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=274731 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL274731 | ||
| 938 | |a EBSCOhost |b EBSC |n 176065 | ||
| 938 | |a YBP Library Services |b YANK |n 2628584 | ||
| 938 | |a YBP Library Services |b YANK |n 3207221 | ||
| 938 | |a YBP Library Services |b YANK |n 2511091 | ||
| 994 | |a 92 |b IZTAP | ||