scientific article; zbMATH DE number 7730615

DOI10.4230/lipics.concur.2021.13arXiv2105.00382MaRDI QIDQ6134257

Ming Xu, Nengkun Yu, Ji Guan, Jingyi Mei

Publication date: 21 August 2023

Full work available at URL: https://arxiv.org/abs/2105.00382

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computer algebramodel checkingquantum computingformal logic

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: