Kupferman, Orna; Vardi, Gal Flow logic. (English) Zbl 1442.03014 Log. Methods Comput. Sci. 15, No. 4, Paper No. 9, 24 p. (2019). MSC: 03B70 03B44 05C21 68Q60 68R10 PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{G. Vardi}, Log. Methods Comput. Sci. 15, No. 4, Paper No. 9, 24 p. (2019; Zbl 1442.03014) Full Text: arXiv
Kupferman, Orna; Vardi, Gal Flow logic. (English) Zbl 1442.03015 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 9, 18 p. (2017). MSC: 03B70 03B44 05C21 68Q60 68R10 PDFBibTeX XMLCite \textit{O. Kupferman} and \textit{G. Vardi}, LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 9, 18 p. (2017; Zbl 1442.03015) Full Text: DOI
Avni, Guy; Kupferman, Orna; Tamir, Tami Network-formation games with regular objectives. (English) Zbl 1353.91012 Inf. Comput. 251, 165-178 (2016). MSC: 91A43 68Q60 91A10 PDFBibTeX XMLCite \textit{G. Avni} et al., Inf. Comput. 251, 165--178 (2016; Zbl 1353.91012) Full Text: DOI
Fisman, Dana; Kupferman, Orna; Lustig, Yoad On verifying fault tolerance of distributed protocols. (English) Zbl 1134.68317 Ramakrishnan, C. R. (ed.) et al., Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78799-0/pbk). Lecture Notes in Computer Science 4963, 315-331 (2008). MSC: 68M14 68M12 68M15 68Q60 PDFBibTeX XMLCite \textit{D. Fisman} et al., Lect. Notes Comput. Sci. 4963, 315--331 (2008; Zbl 1134.68317) Full Text: DOI