Guerra, Hélia; Costa, José Félix Processes with infinite liveness requirements. (English) Zbl 1510.68058 J. Log. Algebr. Program. 82, No. 3-4, 137-161 (2013). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{H. Guerra} and \textit{J. F. Costa}, J. Log. Algebr. Program. 82, No. 3--4, 137--161 (2013; Zbl 1510.68058) Full Text: DOI
Guerra, Hélia; Costa, José Félix Processes with local and global liveness requirements. (English) Zbl 1169.68032 J. Log. Algebr. Program. 78, No. 3, 117-137 (2009). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{H. Guerra} and \textit{J. F. Costa}, J. Log. Algebr. Program. 78, No. 3, 117--137 (2009; Zbl 1169.68032) Full Text: DOI