CSP-S(ID:1313/csp007)


Related languages
CSP => CSP-S   Extension of
References:
  • Patnaik, L. et al, Implementation of CSP-S for Description of Distributed Algorithms pp193-202 view details
          in Computer Languages 9(3) view details
  • Roman, G. et al, "Toward Comprehensive Specification of Distributed Systems" view details
          in Proc 7th Intl Conf on Distrib Comp Sys, IEEE 1987 view details