### Abstract

Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formalize languages comprising all these features. We have proposed a language, which integrates probability with time and shared-variable concurrency (called PTSC [19]). We also explored its operational semantics, where a set of algebraic laws has been investigated via bisimulation.

In this paper we explore the denotational semantics for our probabilistic language. In order to deal with the above three features and the nondeterminism, we introduce a tree structure, called P-tree, to model concurrent probabilistic programs. The denotational semantics of each statement is formalized in the structure of P-tree. Based on the achieved semantics, a set of algebraic laws is explored; i.e., especially those parallel expansion laws. These laws can be proved via our achieved denotational semantics.

In this paper we explore the denotational semantics for our probabilistic language. In order to deal with the above three features and the nondeterminism, we introduce a tree structure, called P-tree, to model concurrent probabilistic programs. The denotational semantics of each statement is formalized in the structure of P-tree. Based on the achieved semantics, a set of algebraic laws is explored; i.e., especially those parallel expansion laws. These laws can be proved via our achieved denotational semantics.

Original language | English |
---|---|

Title of host publication | Unifying Theories of Programming, UTP 2012 |

Editors | B. Wolff , M. C. Gaudel , A. Feliachi |

Publisher | Springer Berlin |

Pages | 224-247 |

ISBN (Electronic) | 9783642357053 |

ISBN (Print) | 9783642357046 |

DOIs | |

Publication status | Published - 2012 |

Event | Unifying Theories of Programming, 4th International Symposium - Paris, France Duration: 27 Aug 2012 → 28 Aug 2012 Conference number: 4 |

### Publication series

Name | Lecture Notes in Computer Science |
---|---|

Publisher | Springer, Berlin |

Volume | 7681 |

### Conference

Conference | Unifying Theories of Programming, 4th International Symposium |
---|---|

Abbreviated title | UTP 2012 |

Country | France |

City | Paris |

Period | 27/08/12 → 28/08/12 |

## Fingerprint Dive into the research topics of 'Denotational Semantics for a Probabilistic Timed Shared-Variable Language'. Together they form a unique fingerprint.

## Cite this

Zhu, H., Sanders, J. W., He, J., & Qin, S. (2012). Denotational Semantics for a Probabilistic Timed Shared-Variable Language. In B. Wolff , M. C. Gaudel , & A. Feliachi (Eds.),

*Unifying Theories of Programming, UTP 2012*(pp. 224-247). (Lecture Notes in Computer Science; Vol. 7681). Springer Berlin. https://doi.org/10.1007/978-3-642-35705-3_11