Publication Details
Title: A Model and Proof Technique for Message-Based Systems
Author: J.A. Feldman and A. Nigam
Group: AI
Date: 1980
PDF: [Not available online]
Bibliographic Information:
SIAM Journal of Computing, Vol. 9, Issue 4, pp. 768-784
Bibliographic Reference:
J.A. Feldman and A. Nigam. A Model and Proof Technique for Message-Based Systems. SIAM Journal of Computing, Vol. 9, Issue 4, pp. 768-784, 1980
Author: J.A. Feldman and A. Nigam
Group: AI
Date: 1980
PDF: [Not available online]
Bibliographic Information:
SIAM Journal of Computing, Vol. 9, Issue 4, pp. 768-784
Bibliographic Reference:
J.A. Feldman and A. Nigam. A Model and Proof Technique for Message-Based Systems. SIAM Journal of Computing, Vol. 9, Issue 4, pp. 768-784, 1980