Implementing a CSP Process Animator
|
Supervisor |
|
|
Suitable for |
MSc in Computer Science
|
Abstract
Not available in 2012/13
(Joint supervision with Tom Gibson-Robinson)
Probe [1] is a tool that allows CSP [2] processes to be visualised and manually explored. The goal of this project would be to build a new version of Probe that is significantly more user-friendly whilst supporting additional debug functionality and alternative display formats. This would be built on top of the libcspm Haskell library [3] that provides a parser, typechecker and evaluator for machine CSP. Prerequisites for this would be strong functional programming skills (e.g. via the Functional Programming course) and a good understand of CSP (e.g. via the Concurrency course).
Prerequisites:
Prerequisites for this would be strong functional programming skills
(e.g. via the Functional Programming course)
and a good understand
of CSP (e.g. via the Concurrency course).
References:
[1] Probe, Formal Systems, http://www.fsel.com/.
[2] Understanding Concurrent
Systems, Bill Roscoe.
[3] libcspm, Thomas
Gibson-Robinson, https://github.com/tomgr/libcspm.