CSPS
["Toward Comprehensive Specification of Distributed Systems", G. Roman et al, Proc 7th Intl Conf on Distrib Comp Sys, IEEE 1987, pp. 282-289].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/80 ♦ CS/PCode ♦ CSP/k ♦ CS-Prolog ♦ CSPS ♦ CSP-S ♦ CS/QCode ♦ CSR ♦ CSS
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
