عنوان
پدید آورنده
موضوع
رده
QA76.58 .W58 2006eb
QA76
.
58
.
W58
2006eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1429419075
(Number (ISBN
1586036718
(Number (ISBN
1607502054
(Number (ISBN
9781429419079
(Number (ISBN
9781586036713
(Number (ISBN
9781607502050
NATIONAL BIBLIOGRAPHY NUMBER
Number
b777579
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Communicating process architectures 2006 :
General Material Designation
[Book]
Other Title Information
WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland /
First Statement of Responsibility
edited by Peter H. Welch, Jon Kerridge and Frederick R.M. Barnes.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam :
Name of Publisher, Distributor, etc.
IOS Press,
Date of Publication, Distribution, etc.
©2006.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (viii, 391 pages) :
Other Physical Details
illustrations.
SERIES
Series Title
Concurrent systems engineering series,
Volume Designation
v. 64
ISSN of Series
1383-7575 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
Title page; Preface; Programme Committee; Contents; SpaceWire -- DS-Links Reborn; An Introduction to CSP.NET; Performance Evaluation of JCSP Micro Edition: JCSPme; Ubiquitous Access to Site Specific Services by Mobile Devices: The Process View; CSP for .NET Based on JCSP; pony -- The occam-pi Network Environment; A Study of Percolation Phenomena in Process Networks; Portable CSP Based Design for Embedded Multi-Core Systems; A JCSP.net Implementation of a Massively Multiplayer Online Game; SystemCSP -- Visual Notation; Interacting Components.
0
SUMMARY OR ABSTRACT
Text of Note
Contains papers from the conference Communicating Process Architectures, 2006. This work talks about various aspects of communicating process theory and their application to designing and building systems. It includes a case study on large scale formal development and verification, CSP mechanisms for Microsoft's .NET framework, and more.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
IOS Press
Stock Number
978-1-58603-671-3
OTHER EDITION IN ANOTHER MEDIUM
Title
Communicating process architectures 2006.
International Standard Book Number
1586036718
TOPICAL NAME USED AS SUBJECT
Computer architecture, Congresses.
occam (Computer program language), Congresses.
Parallel processing (Electronic computers), Congresses.
Transputers, Congresses.
Computer architecture.
COMPUTERS-- Systems Architecture-- Distributed Systems & Computing.
occam (Computer program language)
Parallel processing (Electronic computers)
Transputers.
(SUBJECT CATEGORY (Provisional
COM-- COM014000
DEWEY DECIMAL CLASSIFICATION
Number
004/
.
35
Edition
22
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
58
Book number
.
W58
2006eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Barnes, Frederick R. M.
Kerridge, Jon.
Welch, Peter H.
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
WoTUG Technical Meeting(29th :2006 :, Edinburgh, Scotland)
ORIGINATING SOURCE
Date of Transaction
20201203105522.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
