Unknown

Dataset Information

0

Describing and Simulating Concurrent Quantum Systems


ABSTRACT: We present a programming language for describing and analysing concurrent quantum systems. We have an interpreter for programs in the language, using a symbolic rather than a numeric calculator, and we give its performance on examples from quantum communication and cryptography.

SUBMITTER: Biere A 

PROVIDER: S-EPMC7480686 | biostudies-literature | 2020 Mar

REPOSITORIES: biostudies-literature

Similar Datasets

| S-EPMC5532296 | biostudies-other
| S-EPMC8491899 | biostudies-literature
| S-EPMC7567590 | biostudies-literature
| S-EPMC5156908 | biostudies-literature
| S-EPMC10480218 | biostudies-literature
| S-EPMC8002232 | biostudies-literature
| S-EPMC7859219 | biostudies-literature
| S-EPMC4926089 | biostudies-other
| S-EPMC3565169 | biostudies-other
| S-EPMC9460766 | biostudies-literature