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
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
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