@article{D_ARGENIO_2011,
    doi = {10.1017/s0960129511000454},
    url = {https://doi.org/10.1017%2Fs0960129511000454},
    year = {2011},
    month = {sep},
    publisher = {Cambridge University Press ({CUP})},
    volume = {22},
    number = {1},
    pages = {43--68},
    author = {PEDRO R. D{\textquotesingle}ARGENIO and PEDRO S{\'{A}}NCHEZ TERRAF and NICOL{\'{A}}S WOLOVICK},
    title = {Bisimulations for non-deterministic labelled Markov processes},
    journal = {Mathematical Structures in Computer Science}
}

@article{D_ARGENIO_2011, doi = {10.1017/s0960129511000454}, url = {https://doi.org/10.1017%2Fs0960129511000454}, year = {2011}, month = {sep}, publisher = {Cambridge University Press ({CUP})}, volume = {22}, number = {1}, pages = {43--68}, author = {PEDRO R. D{\textquotesingle}ARGENIO and PEDRO S{\'{A}}NCHEZ TERRAF and NICOL{\'{A}}S WOLOVICK}, title = {Bisimulations for non-deterministic labelled Markov processes}, journal = {Mathematical Structures in Computer Science} }