Two reversible forms of CCS

Danos, V. and Krivine, J., Reversible communicating systems. CONCUR 2004, LNCS, 3170. pp. 292-307.

Iain C. C. Phillips, Irek Ulidowski: Reversing algebraic process calculi. J. Log. Algebr. Program. 73(1-2): 70-96 (2007)

These two papers present different views on reversibility for CCS.  In both cases, a key question is how to deal with a process term such as $(a.P | a.Q | \bar{a}.R| \bar{a}.S) \backslash a$ which can evolve in two different ways, both leading to the same state $(P|Q|R|S)$: one where the $a.P$ and $\bar{a}.R$ synchronize, and one where $a.P$ and $\bar{a}.S$ synchronize.  A key question is, what additional information do we need to record so that the right synchronizations are undone.

Read more »

PhD studentship in data-centric programming at LFCS, University of Edinburgh

A fully-funded 3-year PhD studentship has become available in LFCS in data-centric programming.  Applications and expressions of interest are welcome now, with a closing date of April 28, 2014.

This studentship is partly funded by a EU FP7 project (DIACHRON) and partly by a Google Research Award.  The funding includes UK/EU tuition and fees, and a non-taxable stipend of approximately £13,800 per year for 3 years; a small amount of additional funding is available that may be used flexibly for equipment, travel or additional stipend support. 

Read more »