In the Name of the Role

This presentation introduces a formalism for the specification of generic behavioral interfaces, so called roles. The main characteristic feature of this formalism is the dynamic creation of processes that act in the name of their roles. I will present a compositional trace semantics of roles which is fully abstract with respect to may testing. This is the first such result for a language with dynamic process creation by means of templates. Joint work with M. Bonsangue, M. Steffen, and E. Abraham  

hosted by

social