This work comprises the proceedings of the Transputer Research and Applications Conference held in Georgia from October 23rd to October 25th, 1994. The conference is sponsored by the North American Transputer Users Group (NATUG).NATUG-7 : Proceedings of the Seventh Conference of the North American Transporter Users Group : October 23-25, 1994--Atlanta, GA North American Transputer Users Group. ... It consisls of n notation for writing algorithms (also called programsl and a logic for reasoning about them in an ... The goal is to provide a language which allows the user to express an algorithm in a concise and abstract way.
|Title||:||Transputer Research and Application 7|
|Author||:||North American Transputer Users Group. Conference, Hamid Arabnia|
|Publisher||:||IOS Press - 1995|