Bowen Zhou, Bing Xiang, et al.
SSST 2008
In any area of systems design, the programming notation or language plays a key role. The programming notation or language used in the description of a system must fulfill several requirements: it must be universal enough to conveniently describe programs appropriate to each of the elements embraced in a system; must be precise; and be further concise and subject to formal manipulation. As an illustration, a programming language developed for, and already applied in, a variety of areas is presented.
Bowen Zhou, Bing Xiang, et al.
SSST 2008
Thomas M. Cover
IEEE Trans. Inf. Theory
Liqun Chen, Matthias Enzmann, et al.
FC 2005
M.F. Cowlishaw
IBM Systems Journal