Subject
Computer Science Applications,Information Systems,Signal Processing
Reference10 articles.
1. C.A.R. Hoare, “Communicating sequential processes,”CACM, 21(8), 1978, 666–77.
2. J.A. Feldman and A. Nigam, “A model and proof technique for message-based systems,”SIAM J. Comput., 9(4), 1980, 768–84.
3. H.K. Reghbati, “A constructive solution to the extensibility problem in real-time computer systems,”INFOR, 17(2), 1979, 166–86.
4. H.K. Reghbati, “Towards the validation of systems of communicating processes,”Tech. Rep. 79–10, Dept. of Comp. Sc, Univ. of Saskatchewan, 1979.
5. G.V. Bochmann and C. Sunshine, “Formal methods in communication protocol design,”IEEE Trans, on Comm., 28(4), 1980, 624–31.