Normal view MARC view ISBD view

Communicating Process Architectures 2002 : (Record no. 48180)

000 -LEADER
fixed length control field	03529nam a22004813i 4500
001 - CONTROL NUMBER
control field	EBC267479
003 - CONTROL NUMBER IDENTIFIER
control field	MiAaPQ
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20181121145311.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION
fixed length control field	m o d \|
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field	cr cnu\|\|\|\|\|\|\|\|
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field	181113s2002 xx o \|\|\|\|0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9781601294098
--	(electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Cancelled/invalid ISBN	9781586032685
035 ## - SYSTEM CONTROL NUMBER
System control number	(MiAaPQ)EBC267479
035 ## - SYSTEM CONTROL NUMBER
System control number	(Au-PeEL)EBL267479
035 ## - SYSTEM CONTROL NUMBER
System control number	(CaPaEBR)ebr10116468
035 ## - SYSTEM CONTROL NUMBER
System control number	(CaONFJC)MIL50558
035 ## - SYSTEM CONTROL NUMBER
System control number	(OCoLC)936834615
040 ## - CATALOGING SOURCE
Original cataloging agency	MiAaPQ
Language of cataloging	eng
Description conventions	rda
--	pn
Transcribing agency	MiAaPQ
Modifying agency	MiAaPQ
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number	TK7895.T73 -- W67 2002eb
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number	004/.357
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name	Loader, R.
245 10 - TITLE STATEMENT
Title	Communicating Process Architectures 2002 :
Remainder of title	WoTUG-25.
264 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc	Amsterdam :
Name of publisher, distributor, etc	IOS Press,
Date of publication, distribution, etc	2002.
264 #4 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Date of publication, distribution, etc	©2002.
300 ## - PHYSICAL DESCRIPTION
Extent	1 online resource (396 pages)
336 ## - CONTENT TYPE
Content type term	text
Content type code	txt
Source	rdacontent
337 ## - MEDIA TYPE
Media type term	computer
Media type code	c
Source	rdamedia
338 ## - CARRIER TYPE
Carrier type term	online resource
Carrier type code	cr
Source	rdacarrier
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note	Cover -- Title page -- Contents -- Preface -- Programme Committee -- Papers -- Semantics of prialt in Handel-C™ -- Acceptances, Behaviours and Infinite Activity in CSPP -- HCSP: Imperative State and True Concurrency -- Consolidating the Agreement Problem Protocol Verification Environment -- On the Complexity of Buffer Allocation in Message Passing Systems -- Java PastSet - A Structured Distributed Shared Memory System -- Synchronous Active Objects Introduce CSP's Primitives in Java -- Configurable Collective Communication in LAM-MPI -- Cache-Affinity Scheduling for Fine Grain Multithreading -- A Predicate Transformer Semantics for a Concurrent Language of Refinement -- Reconnetics: A System for the Dynamic Implementation of Mobile Hardware Processes in FPGAs -- Performance Analysis and Behaviour Tuning for Optimisation of Communicating Systems -- Configuration Discovery and Mapping of a Home Network -- Cluster Computing and JCSP Networking -- View-Centric Reasoning for Linda and Tuple Space Computation -- A Graphical Modeling Language for Specifying Concurrency based on CSP -- The "Honeysuckle" Programming Language: Event and Process -- The "Honeysuckle" Programming Language: Object and Protocol -- A Communicating Threads (CT) Case Study: JIWY -- Prioritised Dynamic Communicating Processes - Part I -- Prioritised Dynamic Communicating Processes - Part II -- Implementing a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs -- Author Index.
520 ## - SUMMARY, ETC.
Summary, etc	This work discusses a range of issues fundamental to the future of concurrency. It combines papers from researchers and practitioners. Topics include theory, such a development to Hoare's Communicating Sequential Processes, and hardware and real-time systems.
588 ## - SOURCE OF DESCRIPTION NOTE
Source of description note	Description based on publisher supplied metadata and other sources.
590 ## - LOCAL NOTE (RLIN)
Local note	Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2018. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	occam (Computer program language) -- Congresses.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Telecommunication systems.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Transputers -- Congresses.
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term	Electronic books.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Pascoe, J.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	Sunderam, V.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name	et al,.
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Display text	Print version:
Main entry heading	Loader, R.
Title	Communicating Process Architectures 2002 : WoTUG-25
Place, publisher, and date of publication	Amsterdam : IOS Press,c2002
International Standard Book Number	9781586032685
797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN)
Corporate name or jurisdiction name as entry element	ProQuest (Firm)
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier	<a href="https://ebookcentral.proquest.com/lib/buse-ebooks/detail.action?docID=267479">https://ebookcentral.proquest.com/lib/buse-ebooks/detail.action?docID=267479</a>
Public note	Click to View

No items available.