| Document Type
|
:
|
BL
|
| Record Number
|
:
|
976024
|
| Doc. No
|
:
|
b730394
|
| Main Entry
|
:
|
WoTUG Technical Meeting(28th :2005 :, Technische Universiteit Eindhoven)
|
| Title & Author
|
:
|
Communicating Process Architectures 2005 : : WoTUG-28 : Proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands /\ ed. by Jan F. Broenink [and others].
|
| Publication Statement
|
:
|
Amsterdam ;Washington, D.C. :: IOS Press,, ©2005.
|
| Series Statement
|
:
|
Concurrent systems engineering series,; v. 63
|
| Page. NO
|
:
|
1 online resource (x, 405 pages) :: illustrations.
|
| ISBN
|
:
|
1423797353
|
|
|
:
|
: 1586035614
|
|
|
:
|
: 1601291248
|
|
|
:
|
: 1607501449
|
|
|
:
|
: 9781423797357
|
|
|
:
|
: 9781586035617
|
|
|
:
|
: 9781601291240
|
|
|
:
|
: 9781607501442
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
| Contents
|
:
|
Title page; Preface; Programme Committee; Contents; Interfacing with Honeysuckle by Formal Contract; Groovy Parallel! A Return to the Spirit of occam?; On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software; Automatic Handel-C Generation from MATLAB and Simulink for Motion Control with an FPGA; JCSP-Poison: Safe Termination of CSP Process Networks; jcsp.mobile: A Package Enabling Mobile Processes and Channels; CSP++: How Faithful to CSPm?; Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams.
|
| Abstract
|
:
|
Modern computing systems work when all components are correct by design and can be combined to achieve scalability. This publication offers refereed papers covering various aspects such as: system design and implementation; tools (concurrent programming languages, libraries, and run-time kernels); and, formal methods and applications.
|
| Subject
|
:
|
Computer architecture, Congresses.
|
| Subject
|
:
|
occam (Computer program language), Congresses.
|
| Subject
|
:
|
Parallel processing (Electronic computers), Congresses.
|
| Subject
|
:
|
Transputers, Congresses.
|
| Subject
|
:
|
Computer architecture.
|
| Subject
|
:
|
COMPUTERS-- Systems Architecture-- Distributed Systems Computing.
|
| Subject
|
:
|
occam (Computer program language)
|
| Subject
|
:
|
Parallel processing (Electronic computers)
|
| Subject
|
:
|
Transputers.
|
| Dewey Classification
|
:
|
004/.35
|
| LC Classification
|
:
|
QA76.58.W58 2005eb
|
| NLM classification
|
:
|
54.31bcl
|
|
|
:
|
54.51bcl
|
| Added Entry
|
:
|
Broenink, Jan F.
|