You are here: irt.org | FOLDOC | CSPS
["Toward Comprehensive Specification of Distributed Systems", G. Roman et al, Proc 7th Intl Conf on Distrib Comp Sys, IEEE 1987, pp. 282-289].
Nearby terms: CS/PCode « CSP/k « CS-Prolog « CSPS » CSP-S » CS/QCode » CSR
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL