Models for CSP with availability information
Gavin Lowe ( Oxford University Computing Laboratory )
- 11:30 21st April 2010 ( week 0, Trinity Term 2010 )Room 051, Oxford University Computing Laboratory
I will discuss models of CSP based on recording what events are available as possible alternatives to the events that are actually performed. I will describe many varieties of such models — more than one could possibly imagine. For each, I will sketch a compositional semantics, congruent to the operational semantics, and full abstraction and no-junk results. I will compare the expressiveness of the different models.