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 PDFBibTeX XMLCite \textit{C. C. Din} and \textit{O. Owe}, Formal Asp. Comput. 27, No. 3, 551--572 (2015; Zbl 1343.68166) Full Text: DOI
Ciobanu, Gabriel; Koutny, Maciej; Steggles, Jason Strategy based semantics for mobility with time and access permissions. (English) Zbl 1343.68163 Formal Asp. Comput. 27, No. 3, 525-549 (2015). MSC: 68Q85 68N30 68Q42 PDFBibTeX XMLCite \textit{G. Ciobanu} et al., Formal Asp. Comput. 27, No. 3, 525--549 (2015; Zbl 1343.68163) Full Text: DOI Link
Jones, Cliff B.; Hayes, Ian J.; Colvin, Robert J. Balancing expressiveness in formal approaches to concurrency. (English) Zbl 1343.68171 Formal Asp. Comput. 27, No. 3, 475-497 (2015). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{C. B. Jones} et al., Formal Asp. Comput. 27, No. 3, 475--497 (2015; Zbl 1343.68171) Full Text: DOI