Understanding concurrent systems / by A. W. Roscoe

By: Roscoe, A. WMaterial type: TextTextPublication details: New Delhi : Springer, 2011cDescription: xviii, 527 p. : ill. ; 23cmISBN: 9781848822573 (pbk)Subject(s): Parallel processing (Electronic computers)DDC classification: 004.35
Contents:
PART 1: A Foundation Course in CSP---------------------------------- PART 2: Theory----------------------------- PART 3: Using CSP in Practice----------------------------------- PART 4: Exploring Concurrency--------------------------- Notation---------------------- References----------------------------- Index---------------------------
Summary: Since the introduction of Hoares' Communicating Sequential Process (CSP) notation, powerful new tools have transformed CSP into a practical way of describing industrial-sized problems. This book
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Namal Library
Computer Science 		004.35 ROS-U 2011 1127 (Browse shelf (Opens below)) Available 1127
Total holds: 0

Index included

PART 1: A Foundation Course in CSP----------------------------------
PART 2: Theory-----------------------------
PART 3: Using CSP in Practice-----------------------------------
PART 4: Exploring Concurrency---------------------------
Notation----------------------
References-----------------------------
Index---------------------------

Since the introduction of Hoares' Communicating Sequential Process (CSP) notation, powerful new tools have transformed CSP into a practical way of describing industrial-sized problems. This book

There are no comments on this title.

to post a comment.