Communication and Concurrency
Lectures take place Monday 16.10-17.00
and Thursday 16.10-17.00 in 2.3 of 22 Buccleuch Place, in Semester 2
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
- Coursework 1
- To be submitted: MONDAY 16th February at 4.00pm (Week 6) to the ITO
- When available online: before Friday 30th January
- When marked with written feedback: by Monday 2nd March
- Coursework 2
- To be submitted: MONDAY 16th March at 4.00pm (Week 10) to the ITO
- When available online: before Friday 6th March
- When marked with written feedback: by Monday 30th March
Colin Stirling, firstname.lastname@example.org, Sept 2014.
|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