pCRL(ID:4972/pcr001)

parallel version of microCRL
Related languages
microCRL => pCRL   Extension of
References:
  • Groote, Jan Friso ; Alban Ponse, Yaroslav S. Usenko: Linearization in parallel pCRL. JLAP 48(1-2): 39-70 (2001) view details