Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum
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.
Ehud Altman, Kenneth R. Brown, et al.
PRX Quantum
Liqun Chen, Matthias Enzmann, et al.
FC 2005
Rafae Bhatti, Elisa Bertino, et al.
Communications of the ACM
M.J. Slattery, Joan L. Mitchell
IBM J. Res. Dev