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 2007 [electronic resource] : WoTUG-30 : proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom / edited by Alistair A. McEwan ... [et al.].

By: (30th : WoTUG Technical Meeting (30th : 2007 : University of Surrey).
Contributor(s): McEwan, Alistair A.
Material type: TextTextSeries: Concurrent systems engineering series: v. 65.Publisher: Amsterdam ; Washington, DC : IOS Press, 2007Description: 1 online resource (xi, 513 p.) : ill.ISBN: 9781435608672 (electronic bk.); 1435608674 (electronic bk.); 9781607502616; 1607502615.Subject(s): Parallel processing (Electronic computers) -- Congresses | occam (Computer program language) -- Congresses | Transputers -- Congresses | Computer architecture -- Congresses | COMPUTERS -- Systems Architecture -- Distributed Systems & ComputingGenre/Form: Electronic books.Additional physical formats: Print version:: Communicating process architectures 2007.DDC classification: 004/.35 Online resources: EBSCOhost
Contents:
Title page; Preface; Programme Committee; Additional Reviewers; Contents; Fine-Grain Concurrency; Communicating Process Architecture for Multicores; Lazy Exploration and Checking of CSP Models with CSPsim; The Core Language of Aldwych; JCSProB: Implementing Integrated Formal Specifications in Concurrent Java; Components with Symbolic Transition Systems: A Java Implementation of Rendezvous; Concurrent/Reactive System Design with Honeysuckle; CSP and Real-Time: Reality or Illusion?; Testing and Sampling Parallel Systems; Mobility in JCSP: New Mobile Channel and Mobile Process Models.
Summary: Deals with Computer Science and models of Concurrency. This title emphasizes on hardware/software co-design and the understanding of concurrency that results from these systems. It includes a range of papers on this topic, from the formal modeling of buses in co-design systems through to software simulation and development environments.
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.

Deals with Computer Science and models of Concurrency. This title emphasizes on hardware/software co-design and the understanding of concurrency that results from these systems. It includes a range of papers on this topic, from the formal modeling of buses in co-design systems through to software simulation and development environments.

Title page; Preface; Programme Committee; Additional Reviewers; Contents; Fine-Grain Concurrency; Communicating Process Architecture for Multicores; Lazy Exploration and Checking of CSP Models with CSPsim; The Core Language of Aldwych; JCSProB: Implementing Integrated Formal Specifications in Concurrent Java; Components with Symbolic Transition Systems: A Java Implementation of Rendezvous; Concurrent/Reactive System Design with Honeysuckle; CSP and Real-Time: Reality or Illusion?; Testing and Sampling Parallel Systems; Mobility in JCSP: New Mobile Channel and Mobile Process Models.

Description based on print version record.

There are no comments for this item.

Log in to your account to post a comment.

Other editions of this work

Communicating process architectures 2007 ©2007
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