Communication and Concurrency
Lectures take place Monday 14.10-15.00
and Thursday 14.10-15.00 in B9 Forrest Hill,
and are given by Colin Stirling.
- The syllabus of this module can be viewed in HTML through the
- Background Reading:
- Course Material
- The Edinburgh Concurrency Workbench
The Workbench is a tool for describing, exploring and
automatically verifying systems modelled in CCS.
Coursework will contain exercises that must be solved using the Workbench.
- You dont need to download it: to call it from a dice machine, type cwb.
- An introductory workout pdf,
written by Joachim Parrow. It takes you step by step
through the basic features of the Workbench.
It is *very* recommended to go through it.
of systems modelled as CCS processes.
- A file of macros that must be used for exercises about CTL-.
Copy it into the directory from which you call the Workbench as filename.cwb,
calling the Workbench type the command ``input "filename.cwb";''.
CTL- is a specification language
introduced in the lecture on temporal logic.
- Lecture Log
Colin Stirling, email@example.com, Sept 2012.
|Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail:
Please contact our webadmin with
any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright ©
The University of Edinburgh