توضیحات
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)
جزئیات کتاب
فرمت
جلد نرم
صفحات
360 صفحه
زبان
انگلیسی
منتشر شده
Oct 15, 2006
ناشر
SAGE Publications Ltd
ISBN-10
158603202X
ISBN-13
9781586032029