On generative parallel composition (1999)

by P R D’Argenio, H Hermanns, J-P Katoen
Venue:El. Notes in Th. Comp. Sc