Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate Virtually timed ambients: a calculus of nested virtualization. (English) Zbl 1381.68205 J. Log. Algebr. Methods Program. 94, 109-127 (2018). MSC: 68Q85 PDFBibTeX XMLCite \textit{E. B. Johnsen} et al., J. Log. Algebr. Methods Program. 94, 109--127 (2018; Zbl 1381.68205) Full Text: DOI Link
Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, S. Lizeth Integrating deployment architectures and resource consumption in timed object-oriented models. (English) Zbl 1304.68029 J. Log. Algebr. Methods Program. 84, No. 1, 67-91 (2015). MSC: 68N19 68N30 PDFBibTeX XMLCite \textit{E. B. Johnsen} et al., J. Log. Algebr. Methods Program. 84, No. 1, 67--91 (2015; Zbl 1304.68029) Full Text: DOI
Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh A proof system for adaptable class hierarchies. (English) Zbl 1304.68031 J. Log. Algebr. Methods Program. 84, No. 1, 37-53 (2015). MSC: 68N30 68N19 PDFBibTeX XMLCite \textit{J. Dovland} et al., J. Log. Algebr. Methods Program. 84, No. 1, 37--53 (2015; Zbl 1304.68031) Full Text: DOI