This study is conceed with probabilistic Boolean control networks (PBCNs) with state feedback control. A novel definitio......

A reasonable transition rule is proposed for synchronized actions and some equational properties of bisimilarity and wea......

该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......

In the study of process calculi, encoding between different calculi is an effective way to compare the expressive power ......

Symbolic bisimulation avoids the infinite branching problem caused by instantiating input names with all names in the st......