José Félix Costa Amílcar Sernadas Progress Assumption in Concurrent Systems. 18-36 1995 7 Formal Asp. Comput. 1 db/journals/fac/fac7.html#CostaS95