Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun A taxonomy of fairness and temporal logic problems for Petri nets. (English) Zbl 0728.68090 Theor. Comput. Sci. 82, No. 2, 341-372 (1991). Reviewer: K.Atanassov (Sofia) MSC: 68Q85 PDFBibTeX XMLCite \textit{R. R. Howell} et al., Theor. Comput. Sci. 82, No. 2, 341--372 (1991; Zbl 0728.68090) Full Text: DOI
Burkhard, H. D. An investigation of controls for concurrent systems based on abstract control languages. (English) Zbl 0567.68021 Theor. Comput. Sci. 38, 193-222 (1985). MSC: 68N25 PDFBibTeX XMLCite \textit{H. D. Burkhard}, Theor. Comput. Sci. 38, 193--222 (1985; Zbl 0567.68021) Full Text: DOI Link
Apt, Krzysztof R. Ten years of Hoare’s logic: A survey. II: Nondeterminism. (English) Zbl 0523.68015 Theor. Comput. Sci. 28, 83-109 (1984). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{K. R. Apt}, Theor. Comput. Sci. 28, 83--109 (1984; Zbl 0523.68015) Full Text: DOI