Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.CONCUR.2018.2
URN: urn:nbn:de:0030-drops-95406
URL: https://drops.dagstuhl.de/opus/volltexte/2018/9540/
Deng, Yuxin
Bisimulations for Probabilistic and Quantum Processes (Invited Paper)
| pdf-format: |
|
Abstract
Bisimulation is a fundamental concept in the classical concurrency theory for comparing the behaviour of nondeterministic processes. It admits elegant characterisations from various perspectives such as fixed point theory, modal logics, game theory, coalgebras etc. In this paper, we review some key ideas used in the formulations and characterisations of reasonable notions of bisimulations for both probabilistic and quantum processes. To some extent the transition from probabilistic to quantum concurrency theory is smooth and natural. However, new ideas need also to be introduced. We have not yet reached the stage of formally verifying quantum communication protocols and quantum algorithms using bisimulations implemented by automatic tools. We discuss some recent efforts in this direction.
BibTeX - Entry
@InProceedings{deng:LIPIcs:2018:9540,
author = {Yuxin Deng},
title = {{Bisimulations for Probabilistic and Quantum Processes (Invited Paper)}},
booktitle = {29th International Conference on Concurrency Theory (CONCUR 2018)},
pages = {2:1--2:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-087-3},
ISSN = {1868-8969},
year = {2018},
volume = {118},
editor = {Sven Schewe and Lijun Zhang},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9540},
URN = {urn:nbn:de:0030-drops-95406},
doi = {10.4230/LIPIcs.CONCUR.2018.2},
annote = {Keywords: Bisimulations, probabilistic processes, quantum processes}
}
| Keywords: | Bisimulations, probabilistic processes, quantum processes | |
| Seminar: | 29th International Conference on Concurrency Theory (CONCUR 2018) | |
| Issue date: | 2018 | |
| Date of publication: | 31.08.2018 |
