Baidu
map

Time-bounded termination analysis for probabilistic programs with delays

Xu, M; Deng, YX

Deng, YX (corresponding author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, MOE Int Joint Lab Trustworthy Software, Shanghai 200062, Peoples R China.; Deng, YX (corresponding author), East China Normal Univ, Int Res Ctr Trustworthy Software, Shanghai 200062, Peoples R China.

INFORMATION AND COMPUTATION, 2020; 275 ():

Abstract

This paper investigates the model of probabilistic program with delays (PPD) that consists of a few program blocks. Performing each block has an addit......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索

Baidu
map
Baidu
map
Baidu
map