Cargando…
Communicating process architectures 2002.
This work discusses a range of issues fundamental to the future of concurrency. It combines papers from researchers and practitioners. Topics include theory, such a development to Hoare's Communicating Sequential Processes, and hardware and real-time systems.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
Ios Press,
2002.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a22000003 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn171570227 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr ||||||||||| | ||
| 008 | 070914s2002 ne o 000 0 eng d | ||
| 040 | |a YDXCP |b eng |e pn |c YDXCP |d MERUC |d OCLCQ |d EBLCP |d OCLCQ |d ZCU |d S8J |d OCLCO |d OCLCF |d OCLCQ |d OCLCO |d ICG |d OCLCQ |d DKC |d OCLCQ |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 936834615 | ||
| 020 | |a 1601294093 | ||
| 020 | |a 9781601294098 | ||
| 029 | 1 | |a DEBBG |b BV044084018 | |
| 029 | 1 | |a AU@ |b 000055617117 | |
| 035 | |a (OCoLC)171570227 |z (OCoLC)936834615 | ||
| 050 | 4 | |a TK | |
| 082 | 0 | 4 | |a 004.35 |a 004/.357 |
| 049 | |a UAMI | ||
| 100 | 1 | |a World Occam And Transputer User Group. Technical Meeting (25th: 2002: University Of Reading, U. K.) | |
| 245 | 1 | 0 | |a Communicating process architectures 2002. |
| 260 | |a Amsterdam : |b Ios Press, |c 2002. | ||
| 300 | |a 1 online resource (1 volume) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 520 | |a This work discusses a range of issues fundamental to the future of concurrency. It combines papers from researchers and practitioners. Topics include theory, such a development to Hoare's Communicating Sequential Processes, and hardware and real-time systems. | ||
| 505 | 0 | |a Cover; Title page; Contents; Preface; Programme Committee; Papers; Semantics of prialt in Handel-C"! Acceptances, Behaviours and Infinite Activity in CSPP; HCSP: Imperative State and True Concurrency; Consolidating the Agreement Problem Protocol Verification Environment; On the Complexity of Buffer Allocation in Message Passing Systems; Java PastSet -- A Structured Distributed Shared Memory System; Synchronous Active Objects Introduce CSP's Primitives in Java; Configurable Collective Communication in LAM-MPI; Cache-Affinity Scheduling for Fine Grain Multithreading. | |
| 505 | 8 | |a A Predicate Transformer Semantics for a Concurrent Language of RefinementReconnetics: A System for the Dynamic Implementation of Mobile Hardware Processes in FPGAs; Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems; Configuration Discovery and Mapping of a Home Network; Cluster Computing and JCSP Networking; View-Centric Reasoning for Linda and Tuple Space Computation; A Graphical Modeling Language for Specifying Concurrency based on CSP; The ""Honeysuckle"" Programming Language: Event and Process; The ""Honeysuckle"" Programming Language: Object and Protocol. | |
| 505 | 8 | |a A Communicating Threads (CT) Case Study: JIWYPrioritised Dynamic Communicating Processes -- Part I; Prioritised Dynamic Communicating Processes -- Part II; Implementing a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs; Author Index. | |
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Transputers |v Congresses. | |
| 650 | 0 | |a occam (Computer program language) |v Congresses. | |
| 650 | 0 | |a Telecommunication systems. | |
| 650 | 6 | |a Transputers |v Congrès. | |
| 650 | 6 | |a Occam (Langage de programmation) |v Congrès. | |
| 650 | 6 | |a Systèmes de télécommunications. | |
| 650 | 7 | |a telecommunication systems. |2 aat | |
| 650 | 7 | |a occam (Computer program language) |2 fast | |
| 650 | 7 | |a Telecommunication systems |2 fast | |
| 650 | 7 | |a Transputers |2 fast | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 776 | 0 | 8 | |i Print version: |a Loader, R. |t Communicating Process Architectures 2002 : WoTUG-25. |d Amsterdam : IOS Press, ©2002 |z 9781586032685 |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=267479 |z Texto completo |
| 938 | |a EBL - Ebook Library |b EBLB |n EBL267479 | ||
| 938 | |a YBP Library Services |b YANK |n 2628480 | ||
| 994 | |a 92 |b IZTAP | ||