Patrignani, Marco; Clarke, Dave Fully abstract trace semantics for protected module architectures. (English) Zbl 1387.68054 Comput. Lang. Syst. Struct. 42, 22-45 (2015). MSC: 68N15 68Q55 PDF BibTeX XML Cite \textit{M. Patrignani} and \textit{D. Clarke}, Comput. Lang. Syst. Struct. 42, 22--45 (2015; Zbl 1387.68054) Full Text: DOI OpenURL
Bubel, Richard; Din, Crystal Chang; Hähnle, Reiner; Nakata, Keiko A dynamic logic with traces and coinduction. (English) Zbl 1471.03063 De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 307-322 (2015). MSC: 03B70 68N30 PDF BibTeX XML Cite \textit{R. Bubel} et al., Lect. Notes Comput. Sci. 9323, 307--322 (2015; Zbl 1471.03063) Full Text: DOI OpenURL
Din, Crystal Chang; Owe, Olaf Compositional reasoning about active objects with shared futures. (English) Zbl 1343.68166 Formal Asp. Comput. 27, No. 3, 551-572 (2015). MSC: 68Q85 68Q55 68Q60 PDF BibTeX XML Cite \textit{C. C. Din} and \textit{O. Owe}, Formal Asp. Comput. 27, No. 3, 551--572 (2015; Zbl 1343.68166) Full Text: DOI OpenURL
Colvin, Robert J. An operational semantics for object-oriented concepts based on the class hierarchy. (English) Zbl 1342.68057 Formal Asp. Comput. 26, No. 3, 491-535 (2014). MSC: 68N19 68Q55 68Q85 PDF BibTeX XML Cite \textit{R. J. Colvin}, Formal Asp. Comput. 26, No. 3, 491--535 (2014; Zbl 1342.68057) Full Text: DOI OpenURL
Din, Crystal Chang; Owe, Olaf A sound and complete reasoning system for asynchronous communication with shared futures. (English) Zbl 1371.68190 J. Log. Algebr. Methods Program. 83, No. 5-6, 360-383 (2014). MSC: 68Q85 03B70 68N30 68Q55 PDF BibTeX XML Cite \textit{C. C. Din} and \textit{O. Owe}, J. Log. Algebr. Methods Program. 83, No. 5--6, 360--383 (2014; Zbl 1371.68190) Full Text: DOI OpenURL
Ghica, Dan R.; Tzevelekos, Nikos A system-level game semantics. (English) Zbl 1342.68196 Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 191-211 (2012). MSC: 68Q55 68N15 91A80 PDF BibTeX XML Cite \textit{D. R. Ghica} and \textit{N. Tzevelekos}, Electron. Notes Theor. Comput. Sci. 286, 191--211 (2012; Zbl 1342.68196) Full Text: DOI arXiv OpenURL
Din, Crystal Chang; Dovland, Johan; Johnsen, Einar Broch; Owe, Olaf Observable behavior of distributed systems: component reasoning for concurrent objects. (English) Zbl 1247.68184 J. Log. Algebr. Program. 81, No. 3, 227-256 (2012). MSC: 68Q85 68N30 68M14 03B70 PDF BibTeX XML Cite \textit{C. C. Din} et al., J. Log. Algebr. Program. 81, No. 3, 227--256 (2012; Zbl 1247.68184) Full Text: DOI OpenURL
Welsch, Yannick; Poetzsch-Heffter, Arnd Full abstraction at package boundaries of object-oriented languages. (English) Zbl 1349.68047 Simao, Adenilso (ed.) et al., Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). Lecture Notes in Computer Science 7021, 28-43 (2011). MSC: 68N15 68N19 68Q55 PDF BibTeX XML Cite \textit{Y. Welsch} and \textit{A. Poetzsch-Heffter}, Lect. Notes Comput. Sci. 7021, 28--43 (2011; Zbl 1349.68047) Full Text: DOI OpenURL
Á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 PDF BibTeX XML Cite \textit{E. Ábrahám} et al., J. Log. Algebr. Program. 78, No. 7, 491--518 (2009; Zbl 1187.68130) Full Text: DOI Link OpenURL
Ábrahám, Erika; Grüner, Andreas; Steffen, Martin Abstract interface behavior of object-oriented languages with monitors. (English) Zbl 1162.68475 Theory Comput. Syst. 43, No. 3-4, 322-361 (2008). MSC: 68Q55 PDF BibTeX XML Cite \textit{E. Ábrahám} et al., Theory Comput. Syst. 43, No. 3--4, 322--361 (2008; Zbl 1162.68475) Full Text: DOI OpenURL