The University of Southampton
University of Southampton Institutional Repository

Structural Operational Semantics for Stochastic Process Calculi

Structural Operational Semantics for Stochastic Process Calculi
Structural Operational Semantics for Stochastic Process Calculi
A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeterministic processes. Stochastic bisimilarity is guaranteed a congruence for systems defined by SGSOS rules. Associativity of parallel composition in stochastic process algebras is also studied within the SGSOS framework.
barbs, observational equivalences, semantics of concurrency, orthogonality, process calculi
428-433
Klin, B.
f30f67fe-92e9-4bfc-9d81-cbf9978f07c9
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7
Klin, B.
f30f67fe-92e9-4bfc-9d81-cbf9978f07c9
Sassone, V.
df7d3c83-2aa0-4571-be94-9473b07b03e7

Klin, B. and Sassone, V. (2008) Structural Operational Semantics for Stochastic Process Calculi. Proceedings of FOSSACS 2008. pp. 428-433 .

Record type: Conference or Workshop Item (Paper)

Abstract

A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeterministic processes. Stochastic bisimilarity is guaranteed a congruence for systems defined by SGSOS rules. Associativity of parallel composition in stochastic process algebras is also studied within the SGSOS framework.

Text
stochSOSFossacsFin.pdf - Other
Download (111kB)

More information

Published date: 2008
Venue - Dates: Proceedings of FOSSACS 2008, 2008-01-01
Keywords: barbs, observational equivalences, semantics of concurrency, orthogonality, process calculi
Organisations: Web & Internet Science

Identifiers

Local EPrints ID: 264826
URI: http://eprints.soton.ac.uk/id/eprint/264826
PURE UUID: 59c3e8ae-ea9f-4850-9d87-919db22c910b

Catalogue record

Date deposited: 14 Nov 2007 01:36
Last modified: 25 Nov 2019 21:01

Export record

Contributors

Author: B. Klin
Author: V. Sassone

University divisions

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×