Basu, Samik; Bultan, Tevfik On deciding synchronizability for asynchronously communicating systems. (English) Zbl 1353.68195 Theor. Comput. Sci. 656, Part A, 60-75 (2016). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{S. Basu} and \textit{T. Bultan}, Theor. Comput. Sci. 656, Part A, 60--75 (2016; Zbl 1353.68195) Full Text: DOI
Basu, Samik; Bultan, Tevfik; Ouederni, Meriem Deciding choreography realizability. (English) Zbl 1321.68183 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 191-202 (2012). MSC: 68N30 68Q60 68Q85 PDF BibTeX XML Cite \textit{S. Basu} et al., in: Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '12, Philadelphia, PA, USA, January 22--28, 2012. New York, NY: Association for Computing Machinery (ACM). 191--202 (2012; Zbl 1321.68183) Full Text: DOI
Basu, Samik; Bultan, Tevfik; Ouederni, Meriem Synchronizability for verification of asynchronously communicating systems. (English) Zbl 1325.68139 Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 56-71 (2012). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{S. Basu} et al., Lect. Notes Comput. Sci. 7148, 56--71 (2012; Zbl 1325.68139) Full Text: DOI