@inproceedings{sg65, author = {J.F. Groote and Vink, E.P. de}, title = {An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice}, booktitle = {From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday}, pages = {449--463}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-30985-5\_26}, editor = {M.H. ter Beek and A. Fantechi and L. Semini}, series = {Lecture Notes in Computer Science}, volume = {11865}, publisher = {Springer}, year = {2019}, }