Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Normal view MARC view ISBD view

Communicating process architectures 2005 [electronic resource] : WoTUG-28 : proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, the Netherlands / ed. by Jan F. Broenink ... [et al.].

By: (28th : WoTUG Technical Meeting (28th : 2005 : Technische Universiteit Eindhoven).
Contributor(s): Broenink, Jan F.
Material type: TextTextSeries: Concurrent systems engineering series: v. 63.Publisher: Amsterdam ; Washington, D.C. : IOS Press, c2005Description: 1 online resource (x, 405 p.) : ill.ISBN: 1423797353 (electronic bk.); 9781423797357 (electronic bk.); 1586035614; 9781586035617; 9781601291240; 1601291248; 9781607501442; 1607501449.Subject(s): Parallel processing (Electronic computers) -- Congresses | occam (Computer program language) -- Congresses | Transputers -- Congresses | Computer architecture -- Congresses | Parallel processing (Electronic computers) | occam (Computer program language) | Transputers | Computer architecture | Electronic books | COMPUTERS -- Systems Architecture -- Distributed Systems & ComputingGenre/Form: Electronic books.Additional physical formats: Print version:: Communicating process architectures 2005.DDC classification: 004/.35 Online resources: EBSCOhost
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.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Includes bibliographical references and index.

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.

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.

Description based on print version record.

There are no comments for this item.

Log in to your account to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in


Visitor Counter