Faran, Rachel; Kupferman, Orna Spanning the spectrum from safety to liveness. (English) Zbl 1408.68096 Acta Inf. 55, No. 8, 703-732 (2018). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{R. Faran} and \textit{O. Kupferman}, Acta Inf. 55, No. 8, 703--732 (2018; Zbl 1408.68096) Full Text: DOI
Berwanger, Dietmar; Mathew, Anup Basil; van den Bogaard, Marie Hierarchical information and the synthesis of distributed strategies. (English) Zbl 1408.91004 Acta Inf. 55, No. 8, 669-701 (2018). MSC: 91A06 68M14 91A43 93B50 PDFBibTeX XMLCite \textit{D. Berwanger} et al., Acta Inf. 55, No. 8, 669--701 (2018; Zbl 1408.91004) Full Text: DOI arXiv
Wang, Chao; Lv, Yi; Wu, Peng TSO-to-TSO linearizability is undecidable. (English) Zbl 1408.68104 Acta Inf. 55, No. 8, 649-668 (2018). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{C. Wang} et al., Acta Inf. 55, No. 8, 649--668 (2018; Zbl 1408.68104) Full Text: DOI
Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François Looking at mean payoff through foggy windows. (English) Zbl 1408.91045 Acta Inf. 55, No. 8, 627-647 (2018). MSC: 91A43 68Q60 91A05 PDFBibTeX XMLCite \textit{P. Hunter} et al., Acta Inf. 55, No. 8, 627--647 (2018; Zbl 1408.91045) Full Text: DOI
Finkbeiner, Bernd (ed.); Pu, Geguang (ed.); Zhang, Lijun (ed.) Preface for the special issue for ATVA 2015. (English) Zbl 1408.68015 Acta Inf. 55, No. 8, 625-626 (2018). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{B. Finkbeiner} (ed.) et al., Acta Inf. 55, No. 8, 625--626 (2018; Zbl 1408.68015) Full Text: DOI