CAV 2002Synchronous and Bidirectional Component InterfacesArindam Chakrabarti, Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. MangDOI 10.1007/3-540-45657-0_34dblpBibTeXNo abstract available.