Models for CSP with availability information

Gavin Lowe ( 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.