de Boer, Frank S.; Grabe, Immo; Steffen, Martin Termination detection for active objects. (English) Zbl 1243.68221 J. Log. Algebr. Program. 81, No. 4, 541-557 (2012). MSC: 68Q85 68N19 68N30 PDF BibTeX XML Cite \textit{F. S. de Boer} et al., J. Log. Algebr. Program. 81, No. 4, 541--557 (2012; Zbl 1243.68221) Full Text: DOI OpenURL
Pun, Ka I.; Steffen, Martin; Stolz, Volker Deadlock checking by a behavioral effect system for lock handling. (English) Zbl 1246.68097 J. Log. Algebr. Program. 81, No. 3, 331-354 (2012). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{K. I. Pun} et al., J. Log. Algebr. Program. 81, No. 3, 331--354 (2012; Zbl 1246.68097) Full Text: DOI OpenURL