Groote, Jan Friso ; Alban Ponse, Yaroslav S. Usenko: Linearization in parallel pCRL. JLAP 48(1-2): 39-70 (2001)

Languages mentioned

• pCRL {2001}