## Applied pi calculus with stateAdd to your list(s) Download to your calendar using vCal If you have a question about this talk, please contact Dan Ghica. We will describe our attempts to endow the applied pi calculus with a notion of persistent state, in order to model some security protocols. This talk is part of the Lab Lunch series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsType the title of a new list here Analysis seminar Physics and Astronomy Colloquia## Other talksTBC The science of the large scale heliosphere and the missions that made it possible Modelling uncertainty in image analysis. Seminar: TBA Cost optimisation of hybrid institutional incentives for promoting cooperation in finite populations Seminar: TBA |