Paola Inverardi Sebastián Uchitel Proving Deadlock Freedom in Component-Based Programming. 60-75 2001 conf/fase/2001 FASE http://link.springer.de/link/service/series/0558/bibs/2029/20290060.htm db/conf/fase/fase2001.html#InverardiU01