CSPS

["Toward Comprehensive Specification of Distributed Systems", G. Roman et al, Proc 7th Intl Conf on Distrib Comp Sys, IEEE 1987, pp. 282-289].

Try this search on Wikipedia, OneLook, Google

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)].

Try this search on Wikipedia, OneLook, Google

Nearby terms: CSP/k « CS-Prolog « CSPS « CSP-S » CS/QCode » CSR » CSS


Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.