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
CSP-S
["Implementation of CSP-S for Description of Distributed Algorithms", L. Patniak
et al, Comput Lang 9(3):193-202 (1984)].
Nearby terms:
CSP/k « CS-Prolog « CSPS « CSP-S » CS/QCode »
CSR » CSS
|