Semantic Barbs and Biorthogonality
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.
barbs, observational equivalences, semantics of concurrency, orthogonality, process calculi
302-316
Rathke, J.
dba0b571-545c-4c31-9aec-5f70c231774b
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Sobocinski, P.
439334ab-2826-447b-9fe5-3928be3fd4fd
2007
Rathke, J.
dba0b571-545c-4c31-9aec-5f70c231774b
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Sobocinski, P.
439334ab-2826-447b-9fe5-3928be3fd4fd
Rathke, J., Sassone, V. and Sobocinski, P.
(2007)
Semantic Barbs and Biorthogonality.
Foundations of Software Science and Computation Structures, FOSSACS 2007.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
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.
Text
barbsFossacs07Fin.pdf
- Other
More information
Published date: 2007
Additional Information:
Funded by EPSRC: Foundations of Process Calculi and Contextual Systems (EP/D066565/1)
Venue - Dates:
Foundations of Software Science and Computation Structures, FOSSACS 2007, 2007-01-01
Keywords:
barbs, observational equivalences, semantics of concurrency, orthogonality, process calculi
Organisations:
Web & Internet Science, Electronic & Software Systems
Identifiers
Local EPrints ID: 263327
URI: http://eprints.soton.ac.uk/id/eprint/263327
PURE UUID: 72f0d7f8-e173-4361-a3b1-9b0eb126989f
Catalogue record
Date deposited: 21 Jan 2007
Last modified: 10 Sep 2024 01:40
Export record
Contributors
Author:
J. Rathke
Author:
V. Sassone
Author:
P. Sobocinski
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics