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
2008
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.
.
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
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: 14 Mar 2024 07:57
Export record
Contributors
Author:
B. Klin
Author:
V. Sassone
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