Ohud Almutairi, Nigel Thomas. Modelling a Fair-Exchange Protocol in the Presence of Misbehaviour Using PEPA. In Paolo Ballarini, Hind Castel, Ioannis Dimitriou, Mauro Iacono, Tuan Phung-Duc, Joris Walraevens, editors, Performance Engineering and Stochastic Modeling - 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9-10 and December 13-14, 2021, Proceedings. Volume 13104 of Lecture Notes in Computer Science, pages 96-114, Springer, 2021. [doi]
@inproceedings{AlmutairiT21, title = {Modelling a Fair-Exchange Protocol in the Presence of Misbehaviour Using PEPA}, author = {Ohud Almutairi and Nigel Thomas}, year = {2021}, doi = {10.1007/978-3-030-91825-5_6}, url = {https://doi.org/10.1007/978-3-030-91825-5_6}, researchr = {https://researchr.org/publication/AlmutairiT21}, cites = {0}, citedby = {0}, pages = {96-114}, booktitle = {Performance Engineering and Stochastic Modeling - 17th European Workshop, EPEW 2021, and 26th International Conference, ASMTA 2021, Virtual Event, December 9-10 and December 13-14, 2021, Proceedings}, editor = {Paolo Ballarini and Hind Castel and Ioannis Dimitriou and Mauro Iacono and Tuan Phung-Duc and Joris Walraevens}, volume = {13104}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-030-91825-5}, }