Ábrahám, Erika; Tran, Thi Mai Thuong; Steffen, Martin Observable interface behaviour and inheritance. (English) Zbl 1361.68054 Math. Struct. Comput. Sci. 26, No. 3, 561-605 (2016). MSC: 68N19 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., Math. Struct. Comput. Sci. 26, No. 3, 561--605 (2016; Zbl 1361.68054) Full Text: DOI
Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin Behavioral interface description of an object-oriented language with futures and promises. (English) Zbl 1187.68130 J. Log. Algebr. Program. 78, No. 7, 491-518 (2009). MSC: 68N19 PDFBibTeX XMLCite \textit{E. Ábrahám} et al., J. Log. Algebr. Program. 78, No. 7, 491--518 (2009; Zbl 1187.68130) Full Text: DOI