Copenhagen Programming Language Seminar
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.
 Reversible Communicating Systems. Danos and Krivine, LNCS 2004
 Transactions in RCCS. Danos and Krivine, LNCS 2005
Scientific host:Arne John Glenstrup Administrative host:
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 email@example.com with the word 'subscribe' as subject or in the body.
For more information about COPLAS, see http://www.coplas.org