Cargando…
Communicating Process Architectures 2002 : WoTUG-25 : Proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom /
The WoTUG series of conferences are a major forum for the presentation of state-of-the-art ideas on concurrency and communication. This book continues this trend, with these proceedings containing a number of papers that discuss a wide range of issues fundamental to the future of concurrency.<p/&...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Washington, DC : Tokyo :
IOS ; Ohmsha,
©2002.
|
| Colección: | Concurrent systems engineering series ;
v. 60. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocm52993658 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 030909s2002 ne a ob 101 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d YDXCP |d OCLCQ |d UV0 |d CAI |d IDEBK |d OCLCQ |d MERUC |d CCO |d E7B |d DKDLA |d OCLCO |d OCLCQ |d OCLCF |d OCLCQ |d OCLCO |d OCL |d OCLCO |d NKT |d OCLCQ |d AZK |d COCUF |d AGLDB |d CNNOR |d MOR |d PIFBR |d OCLCQ |d JBG |d OCLCQ |d U3W |d BRL |d STF |d WRM |d VTS |d INT |d NRAMU |d VT2 |d OCLCQ |d AU@ |d WYU |d A6Q |d OCLCQ |d HS0 |d UKCRE |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 228136481 |a 276799379 |a 465603378 |a 475551550 |a 560027938 |a 647478638 |a 666963628 |a 722445128 |a 728035459 |a 888567436 |a 961587703 |a 961640038 |a 962650823 |a 962658653 |a 988512568 |a 992025014 |a 1037488180 |a 1038637271 |a 1045529734 |a 1058056867 |a 1062878253 |a 1076286987 |a 1081187703 |a 1152976947 |a 1153498979 |a 1228558184 | ||
| 020 | |a 0585458588 |q (electronic bk.) | ||
| 020 | |a 9780585458588 |q (electronic bk.) | ||
| 020 | |a 9781586032685 |q (IOS ; |q pbk.) | ||
| 020 | |a 1586032682 |q (IOS ; |q pbk.) | ||
| 020 | |a 9784274905391 |q (Ohmsha ; |q pbk.) | ||
| 020 | |a 427490539X |q (Ohmsha ; |q pbk.) | ||
| 020 | |a 6610505586 | ||
| 020 | |a 9786610505586 | ||
| 020 | |z 1586032682 |q (IOS ; |q pbk.) | ||
| 020 | |z 427490539X |q (Ohmsha ; |q pbk.) | ||
| 029 | 1 | |a AU@ |b 000051356565 | |
| 029 | 1 | |a AU@ |b 000053234869 | |
| 029 | 1 | |a DEBBG |b BV043073325 | |
| 029 | 1 | |a DEBSZ |b 422418277 | |
| 029 | 1 | |a GBVCP |b 801063841 | |
| 029 | 1 | |a NZ1 |b 12037141 | |
| 035 | |a (OCoLC)52993658 |z (OCoLC)228136481 |z (OCoLC)276799379 |z (OCoLC)465603378 |z (OCoLC)475551550 |z (OCoLC)560027938 |z (OCoLC)647478638 |z (OCoLC)666963628 |z (OCoLC)722445128 |z (OCoLC)728035459 |z (OCoLC)888567436 |z (OCoLC)961587703 |z (OCoLC)961640038 |z (OCoLC)962650823 |z (OCoLC)962658653 |z (OCoLC)988512568 |z (OCoLC)992025014 |z (OCoLC)1037488180 |z (OCoLC)1038637271 |z (OCoLC)1045529734 |z (OCoLC)1058056867 |z (OCoLC)1062878253 |z (OCoLC)1076286987 |z (OCoLC)1081187703 |z (OCoLC)1152976947 |z (OCoLC)1153498979 |z (OCoLC)1228558184 | ||
| 050 | 4 | |a QA76.73.O2 |b W67 2002eb | |
| 072 | 7 | |a QA |2 lcco | |
| 072 | 7 | |a COM |x 051310 |2 bisacsh | |
| 072 | 7 | |a COM |x 051280 |2 bisacsh | |
| 072 | 7 | |a COM |x 051130 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.13/3 |2 22 |
| 049 | |a UAMI | ||
| 110 | 2 | |a World Occam and Transputer User Group. |b Technical Meeting |n (25th : |d 2002 : |c University of Reading) | |
| 245 | 1 | 0 | |a Communicating Process Architectures 2002 : |b WoTUG-25 : Proceedings of the 25th WoTUG Technical Meeting, 15-18 September 2002, University of Reading, United Kingdom / |c edited by James Pascoe [and others]. |
| 246 | 3 | 0 | |a WoTUG-25 |
| 260 | |a Amsterdam ; |a Washington, DC : |b IOS ; |a Tokyo : |b Ohmsha, |c ©2002. | ||
| 300 | |a 1 online resource (viii, 387 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. 60 | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Machine derived contents note: Preface -- James Pascoe, Peter Welch, Roger Loader and Vaidy Sunderam vii -- Programme Committee viii -- Papers -- Semantics ofprialt in Handel-CM -- Andrew Butterfield and Jim Woodcock I -- Acceptances, Behaviours and Infinite Activity in CSPP -- Adrian Lawrence 17 -- HCSP: Imperative State and True Concurrency -- Adrian Lawrence 39 -- Consolidating the Agreement Problem Protocol Verification Environment -- James Pascoe and Roger Loader 57 -- On the Complexity of Buffer Allocation in Message Passing Systems -- Alex Brodsky, Jan Bcekgaard Pedersen and Alan Wagner 79 -- Java PastSet -- A Structured Distributed Shared Memory System -- Kei Simon Pedersen and Brian Vinter 97 -- Synchronous Active Objects Introduce CSP's Primitives in Java -- Claude Petitpierre 109 -- Configurable Collective Communication in LAM-MPI -- John Markus Bjorndalen, Otto J. Anshus, Brian Vinter and Tore Larsen 123 -- Cache-Affinity Scheduling for Fine Grain Multithreading -- Kurt Debattista, Kevin Vella and Joseph Cordina 135 -- A Predicate Transformer Semantics for a Concurrent Language of Refinement -- Ana Cavalcanti and Jim Woodcock 147 -- Reconnetics: A System for the Dynamic Implementation -- of Mobile Hardware Processes in FPGAs -- Ralph Moseley 167 -- Performance Analysis and Behaviour Tuning for Optimisation -- of Communicating Systems -- Mark Green and Ali E. Abdallah 181 -- Configuration Discovery and Mapping of a Home Network -- Keith Pugh 191 -- Cluster Computing and JCSP Networking -- Brian Vinter and Peter Welch 203 -- View-Centric Reasoning for Linda and Tuple Space Computation -- Marc L. Smith, Rebecca J. Parsons and Charles E. Hughes 223 -- A Graphical Modeling Language for Specifying Concurrency based on CSP -- Gerald Hilderink 255 -- The "Honeysuckle" Programming Language: Event and Process -- Ian East 285 -- The "Honeysuckle" Programming Language: Object and Protocol -- lan East 301 -- A Communicating Threads (CT) Case Study: JIWY -- Dusko Jovanovic, Gerald Hilderink, Jan Broenink 311 -- Prioritised Dynamic Communicating Processes -- Part I -- Fred Barnes and Peter Welch 321 -- Prioritised Dynamic Communicating Processes -- Part II -- Fred Barnes and Peter Welch 353 -- Implementing a Distributed Algorithm for Detection -- of Local Knots and Cycles in Directed Graphs -- Geraldo Pereira de Souza and Gerson Henrique Pfitscher 371 -- Author Index 387. | |
| 520 | |a The WoTUG series of conferences are a major forum for the presentation of state-of-the-art ideas on concurrency and communication. This book continues this trend, with these proceedings containing a number of papers that discuss a wide range of issues fundamental to the future of concurrency.<p/>This book combines papers from researchers and practitioners from many disciplines. Topics covered include: theory, such as development to Hoare's Communicating Sequential Processes; hardware and real-time systems; software architecture and design; and applications. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a occam (Computer program language) |v Congresses. | |
| 650 | 0 | |a Parallel processing (Electronic computers) |v Congresses. | |
| 650 | 0 | |a Computer multitasking |v Congresses. | |
| 650 | 6 | |a Occam (Langage de programmation) |v Congrès. | |
| 650 | 6 | |a Parallélisme (Informatique) |v Congrès. | |
| 650 | 6 | |a Fonctionnement multitâche |v Congrès. | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x C♯ |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x Java. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Programming Languages |x Pascal. |2 bisacsh | |
| 650 | 7 | |a Computer multitasking |2 fast | |
| 650 | 7 | |a occam (Computer program language) |2 fast | |
| 650 | 7 | |a Parallel processing (Electronic computers) |2 fast | |
| 653 | |a Andre fag (naturvidenskab og teknik) |a Andre fag | ||
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Pascoe, James. | |
| 776 | 0 | 8 | |i Print version: |a World Occam and Transputer User Group. Technical Meeting (25th : 2002 : University of Reading). |t Communicating process architectures 2002. |d Amsterdam ; Washington, DC : IOS ; Tokyo : Ohmsha, ©2002 |z 1586032682 |z 427490539X |w (OCoLC)51478382 |
| 830 | 0 | |a Concurrent systems engineering series ; |v v. 60. |x 1383-7575 | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=87526 |z Texto completo |
| 938 | |a EBSCOhost |b EBSC |n 87526 | ||
| 938 | |a YBP Library Services |b YANK |n 2334039 | ||
| 994 | |a 92 |b IZTAP | ||