Copenhagen Programming Language Seminar

Implementation and verification of distributed consensus: the reversible process algebra approach

Jean Krivine
Institut des Hautes Études Scientifiques

Thursday April 16, 2009, 15:15-16:00
Rued Langgaards Vej 7, DK-2300 Copenhagen S, Auditorium 3


In this talk we will present a calculus in the style of Milner's CCS that contains backtracking and commitment primitives. We will show that one may use such approach to simplify both the implementation and the verification of highly uncoordinated transactions such as self-assembling systems.


[1] Reversible Communicating Systems. Danos and Krivine, LNCS 2004

[2] Transactions in RCCS. Danos and Krivine, LNCS 2005

Scientific host:Arne John Glenstrup Administrative host: Annette Enggaard. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU, KVL and RUC.
COPLAS is sponsored by the FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org