Structural Operational Semantics for Stochastic Process Calculi
Klin, B. and Sassone, V. (2008) Structural Operational Semantics for Stochastic Process Calculi. In, Proceedings of FOSSACS 2008 LNCS, Springer, 428-433.
![[file icon]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) | PDF (Fossacs 2008 - final version) 108Kb |
Description/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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Uncontrolled Keywords: | barbs, observational equivalences, semantics of concurrency, orthogonality, process calculi |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| ePrint ID: | 264826 |
| Deposited On: | 14 Nov 2007 01:36 |
| Last Modified: | 10 Mar 2012 11:37 |
| Further Information: | Google Scholar |
Associated Staff Only: edit my ePrint
