×

Found 3 Documents (Results 1–3)

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
Full Text: arXiv Link

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field