José Félix Costa, Amílcar Sernadas. Progress Assumption in Concurrent Systems. Formal Asp. Comput., 7(1):18-36, 1995.
@article{CostaS95, title = {Progress Assumption in Concurrent Systems}, author = {José Félix Costa and Amílcar Sernadas}, year = {1995}, researchr = {https://researchr.org/publication/CostaS95}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {7}, number = {1}, pages = {18-36}, }