Description
Contributors from The Netherlands, Denmark, Norway, the US, and the UK have contributed 22 papers (first presented at a meeting held in September 2001 at the U. of Bristol, UK, where all three editors teach computer science) on concurrency in computer communication design. Among the topics are efficient execution in process networks, extending CSP, event priority and CSPP, event-based design using Java, developing a successor to occam, protocol verification in millipede, and a 40Gbit/snetwork processor design platform. Author index only. Annotation c. Book News, Inc., Portland, OR (booknews.com)
Book Details
Format
Paperback
Pages
360 pages
Language
English
Published
Oct 15, 2006
Publisher
SAGE Publications Ltd
ISBN-10
158603202X
ISBN-13
9781586032029