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.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF (Fossacs 2008 - final version)
Download (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) |
|---|---|
| Keywords: | barbs, observational equivalences, semantics of concurrency, orthogonality, process calculi |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Web & Internet Science |
| Item ID: | 264826 |
| Date Deposited: | 14 Nov 2007 01:36 |
| Last Modified: | 10 Mar 2012 11:37 |
| Contributors: | Klin, B. (Author) Sassone, V. (Author) |
| Date: | 2008 |
| Status: | Published |
| Publisher: | LNCS, Springer |
| Further Information: | Google Scholar |
| ISI Citation Count: | 8 |
| URI: | http://eprints.soton.ac.uk/id/eprint/264826 |
Actions (login required)
 |
View Item |
