|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910782442603321 |
|
|
Titolo |
Communicating process architectures 2008 [[electronic resource] ] : WoTUG-31 / / edited by Peter H. Welch ... [et al.] |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam ; ; Washington, D.C., : IOS Press, c2008 |
|
|
|
|
|
|
|
ISBN |
|
661196861X |
1-281-96861-7 |
9786611968618 |
1-4416-0157-0 |
600-00-1186-5 |
1-60750-368-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (472 p.) |
|
|
|
|
|
|
Classificazione |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
|
|
Soggetti |
|
Computer architecture |
occam (Computer program language) |
Parallel processing (Electronic computers) |
Transputers |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and indexes. |
|
|
|
|
|
|
Nota di contenuto |
|
Title page; Preface; Editorial Board; Reviewing Committee; Contents; Part A. Invited Speakers; Types, Orthogonality and Genericity: Some Tools for Communicating Process Architectures; How to Soar with CSP; Part B. Conference Papers; A CSP Model for Mobile Channels; Communicating Scala Objects; Combining EDF Scheduling with occam Using the Toc Programming Language; Communicating Haskell Processes: Composable Explicit Concurrency Using Monads; Two-Way Protocols for occam-pi; Prioritized Service Architecture: Refinement and Visual Design; Experiments in Translating CSP--B to Handel-C |
FPGA Based Control of a Production Cell SystemShared-Clock Methodology for Time-Triggered Multi-Cores; Transfer Request Broker: Resolving Input-Output Choice; Mechanical Verification of a Two-Way |
|
|
|
|