On generative parallel composition, in (1998)

by P R D’Argenio, H Hermanns, J-P Katoen
Venue:Proc. of PROBMIV’98, in: Elsevier ENTCS