Published in: LIPIcs, Volume 118, 29th International Conference on Concurrency Theory (CONCUR 2018)
Yuxin Deng. Bisimulations for Probabilistic and Quantum Processes (Invited Paper). In 29th International Conference on Concurrency Theory (CONCUR 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 118, pp. 2:1-2:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{deng:LIPIcs.CONCUR.2018.2, author = {Deng, Yuxin}, title = {{Bisimulations for Probabilistic and Quantum Processes}}, 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 = {Schewe, Sven and Zhang, Lijun}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2018.2}, URN = {urn:nbn:de:0030-drops-95406}, doi = {10.4230/LIPIcs.CONCUR.2018.2}, annote = {Keywords: Bisimulations, probabilistic processes, quantum processes} }
Published in: LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015)
Yuxin Deng, Yuan Feng, and Ugo Dal Lago. On Coinduction and Quantum Lambda Calculi. In 26th International Conference on Concurrency Theory (CONCUR 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 42, pp. 427-440, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{deng_et_al:LIPIcs.CONCUR.2015.427, author = {Deng, Yuxin and Feng, Yuan and Dal Lago, Ugo}, title = {{On Coinduction and Quantum Lambda Calculi}}, booktitle = {26th International Conference on Concurrency Theory (CONCUR 2015)}, pages = {427--440}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-91-0}, ISSN = {1868-8969}, year = {2015}, volume = {42}, editor = {Aceto, Luca and de Frutos Escrig, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.427}, URN = {urn:nbn:de:0030-drops-53883}, doi = {10.4230/LIPIcs.CONCUR.2015.427}, annote = {Keywords: Quantum lambda calculi, contextual equivalence, bisimulation} }
Feedback for Dagstuhl Publishing