We discuss the projection temporal logic (PTL), based on a primitive projection operator, prj. A framing technique is al......

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

Finite Chu spaces are proposed for the modeling and verification of concurrent programs.In order to model not only typic......

This paper presents a type system, called Location System (L-S), to control the interferences in the ambient-like calcul......

This study proposes a recoverable stress testing algorithm (RSTA) for such special devices as compression/decom-pression......

This paper proposes the concept of generalized L systems, GL systems for short, which can describe asynchronized concurr......