Peters, Kirstin; Yoshida, Nobuko On the expressiveness of mixed choice sessions. (English) Zbl 07800872 Castiglioni, Valentina (ed.) et al., Proceedings of the combined 29th international workshop on expressiveness in concurrency and the 19th workshop on structural operational semantics, EXPRESS/SOS 2022, Warsaw, Poland, September 12, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 368, 113-130 (2022). MSC: 68Q85 68N19 PDFBibTeX XMLCite \textit{K. Peters} and \textit{N. Yoshida}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 368, 113--130 (2022; Zbl 07800872) Full Text: arXiv Link
Schmitt, Anna; Peters, Kirstin; Deng, Yuxin Encodability criteria for quantum based systems. (English) Zbl 1499.68234 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 151-169 (2022). MSC: 68Q85 81P68 PDFBibTeX XMLCite \textit{A. Schmitt} et al., Lect. Notes Comput. Sci. 13273, 151--169 (2022; Zbl 1499.68234) Full Text: DOI arXiv
Bisping, Benjamin; Brodmann, Paul-David; Jungnickel, Tim; Rickmann, Christina; Seidler, Henning; Stüber, Anke; Wilhelm-Weidner, Arno; Peters, Kirstin; Nestmann, Uwe Mechanical verification of a constructive proof for FLP. (English) Zbl 1478.68146 Blanchette, Jasmin Christian (ed.) et al., Interactive theorem proving. 7th international conference, ITP 2016, Nancy, France, August 22–25, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9807, 107-122 (2016). MSC: 68Q60 68M14 68M15 68V15 68V20 PDFBibTeX XMLCite \textit{B. Bisping} et al., Lect. Notes Comput. Sci. 9807, 107--122 (2016; Zbl 1478.68146) Full Text: DOI