Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari. Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties. In Matteo Baldoni, Cristina Baroglio, editors, Il Milione (i.e. 2ˆ6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008. Volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
@inproceedings{AlbertiGLRS08,
title = {Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties},
author = {Marco Alberti and Marco Gavanelli and Evelina Lamma and Fabrizio Riguzzi and Sergio Storari},
year = {2008},
url = {http://ceur-ws.org/Vol-487/paper6.pdf},
researchr = {https://researchr.org/publication/AlbertiGLRS08},
cites = {0},
citedby = {0},
booktitle = {Il Milione (i.e. 2ˆ6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008},
editor = {Matteo Baldoni and Cristina Baroglio},
volume = {487},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}