Rajiv Ramaswami, Kumar N. Sivarajan
IEEE/ACM Transactions on Networking
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.
Rajiv Ramaswami, Kumar N. Sivarajan
IEEE/ACM Transactions on Networking
Apostol Natsev, Alexander Haubold, et al.
MMSP 2007
Fan Jing Meng, Ying Huang, et al.
ICEBE 2007
Beomseok Nam, Henrique Andrade, et al.
ACM/IEEE SC 2006