Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re 0001, Francesco Tiezzi. A formal approach to modeling and verification of business process collaborations. Science of Computer Programming, 166:35-70, 2018. [doi]
@article{CorradiniFPRT18,
title = {A formal approach to modeling and verification of business process collaborations},
author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re 0001 and Francesco Tiezzi},
year = {2018},
doi = {10.1016/j.scico.2018.05.008},
url = {https://doi.org/10.1016/j.scico.2018.05.008},
researchr = {https://researchr.org/publication/CorradiniFPRT18},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {166},
pages = {35-70},
}