|
" Communicating process architectures 2006 : "
edited by Peter H. Welch, Jon Kerridge and Frederick R.M. Barnes.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
1023209
|
| Doc. No
|
:
|
b777579
|
| Main Entry
|
:
|
WoTUG Technical Meeting(29th :2006 :, Edinburgh, Scotland)
|
| Title & Author
|
:
|
Communicating process architectures 2006 : : WoTUG-29 : proceedings of the 29th WoTUG Technical Meeting, 17-20 September 2006, Napier University, Edinburgh, Scotland /\ edited by Peter H. Welch, Jon Kerridge and Frederick R.M. Barnes.
|
| Publication Statement
|
:
|
Amsterdam :: Washington, D.C. :: IOS Press,, ©2006.
|
| Series Statement
|
:
|
Concurrent systems engineering series,; v. 64
|
| Page. NO
|
:
|
1 online resource (viii, 391 pages) :: illustrations.
|
| ISBN
|
:
|
1429419075
|
|
|
:
|
: 1586036718
|
|
|
:
|
: 1607502054
|
|
|
:
|
: 9781429419079
|
|
|
:
|
: 9781586036713
|
|
|
:
|
: 9781607502050
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index.
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Computer architecture, Congresses.
|
| Subject
|
:
|
occam (Computer program language), Congresses.
|
| Subject
|
:
|
Parallel processing (Electronic computers), Congresses.
|
| Subject
|
:
|
Transputers, Congresses.
|
| Subject
|
:
|
Computer architecture.
|
| Subject
|
:
|
COMPUTERS-- Systems Architecture-- Distributed Systems Computing.
|
| Subject
|
:
|
occam (Computer program language)
|
| Subject
|
:
|
Parallel processing (Electronic computers)
|
| Subject
|
:
|
Transputers.
|
| Dewey Classification
|
:
|
004/.35
|
| LC Classification
|
:
|
QA76.58.W58 2006eb
|
| Added Entry
|
:
|
Barnes, Frederick R. M.
|
|
|
:
|
Kerridge, Jon.
|
|
|
:
|
Welch, Peter H.
|
| |