%0 Conference Paper %1 conf/ictac/HorneMY21 %A Horne, Ross %A Mauw, Sjouke %A Yurkov, Semen %B ICTAC %D 2021 %E Cerone, Antonio %E Ölveczky, Peter Csaba %I Springer %K dblp %P 235-255 %T Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2021.html#HorneMY21 %V 12819 %@ 978-3-030-85315-0

@inproceedings{conf/ictac/HorneMY21, added-at = {2021-09-01T00:00:00.000+0200}, author = {Horne, Ross and Mauw, Sjouke and Yurkov, Semen}, biburl = {https://www.bibsonomy.org/bibtex/2bf4ea160d4e06410a54035e3054245b3/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2021}, editor = {Cerone, Antonio and Ölveczky, Peter Csaba}, ee = {https://doi.org/10.1007/978-3-030-85315-0_14}, interhash = {415196f7050a095c778163de42f852fe}, intrahash = {bf4ea160d4e06410a54035e3054245b3}, isbn = {978-3-030-85315-0}, keywords = {dblp}, pages = {235-255}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:34:06.000+0200}, title = {Compositional Analysis of Protocol Equivalence in the Applied π-Calculus Using Quasi-open Bisimilarity.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2021.html#HorneMY21}, volume = 12819, year = 2021 }