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


Communicating process architectures 2009 (Record no. 341877)

000 -LEADER
fixed length control field 07548cam a2200733Ia 4500
001 - CONTROL NUMBER
control field ocn591152273
003 - CONTROL NUMBER IDENTIFIER
control field OCoLC
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20140120113122.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION
fixed length control field m d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 100401s2009 ne a ob 101 0 eng d
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2009937770
040 ## - CATALOGING SOURCE
Original cataloging agency
Language of cataloging eng
Transcribing agency IOSPR
Modifying agency EBLCP
-- N$T
-- YDXCP
-- IDEBK
-- E7B
-- OCLCQ
-- MHW
-- OCLCQ
-- DEBSZ
066 ## - CHARACTER SETS PRESENT
Alternate G0 or G1 character set (S
019 ## -
-- 618851466
-- 647899348
-- 764534433
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781607505136
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1607505134
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 1607500655 (pbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN 9781607500650 (pbk.)
029 1# - (OCLC)
OCLC library identifier NZ1
System control number 13863963
029 1# - (OCLC)
OCLC library identifier DEBSZ
System control number 372907415
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)591152273
Canceled/invalid control number (OCoLC)618851466
-- (OCoLC)647899348
-- (OCoLC)764534433
037 ## - SOURCE OF ACQUISITION
Stock number 978-1-60750-513-6
Source of stock number/acquisition IOS Press
Note http://www.iospress.nl
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.58
Item number .W58 2009
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM
Subject category code subdivision COM014000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 004
Edition number 22
049 ## - LOCAL HOLDINGS (OCLC)
Holding library ISIA
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element WoTUG Technical Meeting
Number of part/section/meeting (32nd :
Date of meeting 2009 :
Location of meeting Technische Universiteit Eindhoven, Netherlands)
245 10 - TITLE STATEMENT
Title Communicating process architectures 2009
Medium [electronic resource] :
Remainder of title WoTUG-32 /
Statement of responsibility, etc edited by Peter H. Welch ... [et al.].
246 30 - VARYING FORM OF TITLE
Title proper/short title WoTUG-32
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Amsterdam ;
-- Washington, D.C. :
Name of publisher, distributor, etc IOS Press,
Date of publication, distribution, etc c2009.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (x, 407 p.) :
Other physical details ill.
490 1# - SERIES STATEMENT
Series statement Concurrent systems engineering series ;
Volume number/sequential designation v. 67
500 ## - GENERAL NOTE
General note "Proceedings of the 32nd WoTUG Technical Meeting, 1-4 November 2009, TU Eindhoven, Eindhoven, the Netherlands."
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references and indexes.
520 1# - SUMMARY, ETC.
Summary, etc "This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent - so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications."--Jacket.
505 0# - FORMATTED CONTENTS NOTE
Linkage 880-01
Formatted contents note Title page; Preface; Editorial Board; Reviewing Committee; Contents; Beyond Mobility: What Next After CSP/pi?; The SCOOP Concurrency Model in Java-Like Languages; Combining Partial Order Reduction with Bounded Model Checking; On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication; Analysing gCSP Models Using Runtime and Model Analysis Algorithms; Relating and Visualising CSP, VCR and Structural Traces; Designing a Mathematically Verified I2C Device Driver Using ASD; Mobile Escape Analysis for occam-pi.
588 ## -
-- Description based on print version record.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Parallel processing (Electronic computers)
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element occam (Computer program language)
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Transputers
Form subdivision Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer architecture
Form subdivision Congresses.
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Reference.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Machine Theory.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Computer Literacy.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Information Technology.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Data Processing.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Computer Science.
Source of heading or term bisacsh
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element COMPUTERS
General subdivision Hardware
-- General.
Source of heading or term bisacsh
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
655 #0 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Welch, P. H.
710 2# - ADDED ENTRY--CORPORATE NAME
Corporate name or jurisdiction name as entry element IOS Press.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text Print version:
Main entry heading WoTUG Technical Meeting (32nd : 2009 : Technische Universiteit Eindhoven, Netherlands).
Title Communicating process architectures 2009.
Place, publisher, and date of publication Amsterdam ; Washington, D.C. : IOS Press, c2009
International Standard Book Number 9781607500650
-- 1607500655
Record control number (DLC) 2009937770
-- (OCoLC)489009767
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Concurrent systems engineering series ;
Volume number/sequential designation v. 67.
856 40 - ELECTRONIC LOCATION AND ACCESS
Materials specified EBSCOhost
Uniform Resource Identifier <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=315821">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=315821</a>
880 0# - ALTERNATE GRAPHIC REPRESENTATION
Linkage 505-01/(S
a Beyond Mobility: What Next After CSP/(Ss(B? / Michael Goldsmith -- The SCOOP Concurrency Model in Java-Like Languages / Faraz Torshizi ... [et al.] -- Combining Partial Order Reduction with Bounded Model Checking / Jos�e Vander Meulen and Charles Pecheur -- On Congruence Property of Scope Equivalence for Concurrent Programs with Higher-Order Communication / Masaki Murakami -- Analysing gCSP Models Using Runtime and Model Analysis Algorithms / Maarten M. Bezemer, Marcel A. Groothuis and Jan F. Broenink -- Relating and Visualising CSP, VCR and Structural Traces / Neil C.C. Brown and Marc L. Smith -- Designing a Mathematically Verified I2C Device Driver Using ASD / Arjen Klomp ... [et al.] -- Mobile Escape Analysis for occam-pi / Frederick R.M. Barnes -- New ALT for Application Timers and Synchronisation Point Scheduling (Two Excerpts from a Small Channel Based Scheduler) / �yvind Teig and Per Johan Vannebo -- Translating ETC to LLVM Assembly / Carl G. Ritson -- Resumable Java Bytecode -- Process Mobility for the JVM / Jan B�kgaard Pedersen and Brian Kauke -- OpenComRTOS: A Runtime Environment for Interacting Entities / Bernhard H.C. Sputh ... [et al.] -- Economics of Cloud Computing: A Statistical Genetics Case Study / Jeremy M.R. Martin ... [et al.] -- An Application of CoSMoS Design Methods to Pedestrian Simulation / Sarah Clayton, Neil Urquhart and Jon Kerridge -- An Investigation into Distributed Channel Mobility Support for Communicating Process Architectures / Kevin Chalmers and Jon Kerridge -- Auto-Mobiles: Optimised Message-Passing / Neil C.C. Brown -- A Denotational Study of Mobility / Jo�el-Alexis Bialkiewicz and Fr�ed�eric Peschanski -- PyCSP Revisited / Brian Vinter, John Markus Bj�rndalen and Rune M�llegaard Friborg -- Three Unique Implementations of Processes for PyCSP / Rune M�llegaard Friborg, John Markus Bj�rndalen and Brian Vinter -- CSP as a Domain-Specific Language Embedded in Python and Jython / Sarah Mount ... [et al.] -- Hydra: A Python Framework for Parallel Computing / Waide B. Tristram and Karen L. Bradshaw -- Extending CSP with Tests for Availability / Gavin Lowe -- Design Patterns for Communicating Systems with Deadline Propagation / Martin Korsgaard and Sverre Hendseth -- JCSP Agents-Based Service Discovery for Pervasive Computing / Anna Kosek ... [et al.] -- Toward Process Architectures for Behavioural Robotics / Jonathan Simpson and Carl G. Ritson -- HW/SW Design Space Exploration on the Production Cell Setup / Marcel A. Groothuis and Jan F. Broenink -- Engineering Emergence: An occam-(Ss (BAdventure / Peter H. Welch, Kurt Wallnau and Mark Klein.
938 ## -
-- EBL - Ebook Library
-- EBLB
-- EBL501438
938 ## -
-- YBP Library Services
-- YANK
-- 3206138
938 ## -
-- ebrary
-- EBRY
-- ebr10375702
938 ## -
-- EBSCOhost
-- EBSC
-- 315821
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type E-BOOKS
994 ## -
-- 92
-- INISI

No items available.

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