You can manage bookmarks using lists, please log in to your user account for this.
Media type:
Book;
Commemorative Publication;
Conference Proceedings
Title:
Communicating sequential processes
:
the first 25 Years ; Symposium on the Occasion of 25 Years of CSP, London, UK, July 7 - 8, 2004 ; revised invited papers
Contains:
Semantic foundationsRefinement and simulation -- Hardware synthesis -- Transactions -- Concurrent programming -- Linking theories -- Security -- Automated development and model checking -- Industrial-strength CSP.