Welcome to the web site
which accompanies the book `Concurrent and Real-time Systems'. You
can download the table of contents (postscript,
pdf, or text) and a sample chapter (postscript or pdf).
Welcome to the web site
which accompanies the book `Concurrent and Real-time Systems'. You
can download the table of contents (postscript,
pdf, or text) and a sample chapter (postscript or pdf).
You can also access slides and other course materials which provide support for an introductory course on untimed CSP. There are also demonstration FDR scripts available, which can be run on a demonstration (unlicenced) copy of FDR available from here.
You can obtain a file of solutions (postscript or pdf) to some of the questions in the book. A more complete set of solutions is also available, but with restricted access. Please email me at S.Schneider@surrey.ac.uk to obtain your username and password for access.
Click here for a list of links to related sites. You can order the book from amazon.com or amazon.co.uk.
Please contact the author if you have any comments or questions about this web site or about the book or the supporting course material.