Semantic Barbs and Biorthogonality

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 observables in specific process calculi which model synchronous, asynchronous and broadcast communication regimes.

• Type: Conference
• Year: 2007
• Where: FOSSACS
• Authors: Julian Rathke, Vladimiro Sassone, Pawel Sobocinski
• Keywords: Applied Computing, FOSSACS 2007, Process Calculi, Specific Process Calculi, Uniform Basic Theory