Multiparty testing preorders. Nicola, R. D. & Melgratti, H. C. Log. Methods Comput. Sci., 2023.
Multiparty testing preorders [link]Paper  doi  bibtex   
@article{DBLP:journals/lmcs/NicolaM23,
  author       = {Rocco De Nicola and
                  Hern{\'{a}}n C. Melgratti},
  title        = {Multiparty testing preorders},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {19},
  number       = {1},
  year         = {2023},
  url          = {https://doi.org/10.46298/lmcs-19(1:1)2023},
  doi          = {10.46298/LMCS-19(1:1)2023},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/NicolaM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0