Parallel composition of assumption-commitment specifications (1996)

by A Cau, P Collette
Venue:Acta Informatica