Semantic Barbs and Biorthogonality

Conference object English OPEN
Rathke, J.; Sassone, V.; Sobocinski, P.;

We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory of barbs and demonstrate its robustness by showing that it gives rise to the correct observa... View more
Share - Bookmark

  • Download from
    e-Prints Soton via e-Prints Soton (Conference object, 2007)
  • Cite this publication