Opis
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)
Szczegóły książki
Format
Miękka okładka
Strony
360 stron
Język
Angielski
Opublikowany
Oct 15, 2006
Wydawca
SAGE Publications Ltd
ISBN-10
158603202X
ISBN-13
9781586032029