Semantic Barbs and Biorthogonality

Rathke, J., Sassone, V. and Sobocinski, P. (2007) Semantic Barbs and Biorthogonality. Foundations of Software Science and Computation Structures, FOSSACS 2007. pp. 302-316 .

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

Download (231kB)

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

Learn more about Cyber Physical Systems research

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: 14 Mar 2024 07:30

Export record

Share this record

Share this on Facebook Share this on Twitter Share this on Weibo

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

Library staff additional information