Csp-Casl [7] is a comprehensive specification language which combines processes written in the process algebra Csp [2, 8] with the specification of data types formulated in algebraic specification language Casl [5]. Recent developments on Csp-Casl cover tool support [6] as well as testing from Csp-Casl specifications [3]. In this talk we address the question of how to formulate Csp-Casl as an i...

Concentrating solar power (CSP) is of great significance in achieving the goals of renewable energy planning and carbon emission reduction. Chinese government pays importance to the development of CSP in recent years. In 2016, the first CSP demonstration projects of China were approved formally. In view of the important impact of the cost-benefit on the investment decisions and policy making, t...

This study was conducted to evaluate the effects of various protein sources (soybean meal, SBM; cottonseed protein, CSP; double-zero rapeseed meal, DRM) on the internal quality of refrigerated eggs. A total of 360 laying hens (32 wk of age) were randomly allotted to six treatment groups (five replicates per treatment) and fed diets containing SBM, CSP, or DRM individually or in combination with...

UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level, defining the overall system structure. In this paper we propose to use UML-RT structure diagrams together with the formal method CSP-OZ combining CSP and Object-Z. While CSP-OZ is used for specifying the system components them...

We define “CSP-like” operational semantics in the context of LTS’s: a severely restricted mode of describing operators which can express every operator of Hoare’s CSP. Furthermore we show that every operator with CSP-like operational semantics can be simulated in CSP with the addition of an exception-throwing operator P ΘA Q in which any occurrence of an event a ∈ A within P hands control to Q ...

Communicating Sequential Processes (CSP) has been widely applied to modeling and analyzing concurrent systems. There have been considerable efforts on enhancing CSP by taking data and other system aspects into account. For instance, CSPM combines CSP with a functional programming language whereas CSP# integrates high-level CSP-like process operators with low-level procedure code. Little work ha...