Semantic Barbs and Biorthogonality

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

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
  • Metrics
    0
    views in OpenAIRE
    0
    views in local repository
    59
    downloads in local repository

    The information is available from the following content providers:

    From Number Of Views Number Of Downloads
    e-Prints Soton - IRUS-UK 0 59
Share - Bookmark

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