설명
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