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 |
Tabla de Contenidos:
- 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.
- 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.
- 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.