@inproceedings{DBLP:conf/sofsem/CorradiniM0RT18,

title = {Global vs. Local Semantics of BPMN 2.0 OR-Join},

author = {Flavio Corradini and Chiara Muzi and Barbara Re and Lorenzo Rossi and Francesco Tiezzi},

url = {https://doi.org/10.1007/978-3-319-73117-9_23},

doi = {10.1007/978-3-319-73117-9_23},

year  = {2018},

date = {2018-01-01},

booktitle = {International 

 Conference on Current Trends in Theory and Practice of Computer Science},

volume = {10706},

pages = {321--336},

publisher = {Springer},

series = {LNCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/edoc/Corradini0P0T18,

title = {Collaboration vs. Choreography Conformance in BPMN 2.0: From Theory 

 to Practice},

author = {Flavio Corradini and Andrea Morichetta and Andrea Polini and Barbara Re and Francesco Tiezzi},

url = {https://doi.org/10.1109/EDOC.2018.00022},

doi = {10.1109/EDOC.2018.00022},

year  = {2018},

date = {2018-01-01},

booktitle = {International Enterprise Distributed Object Computing 

 Conference},

pages = {95--104},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/mobilecloud/Morichetta0T18,

title = {Runtime Computation of Optimal Offloading Scheduling},

author = {Andrea Morichetta and Barbara Re and Francesco Tiezzi},

url = {https://doi.org/10.1109/MobileCloud.2018.00019},

doi = {10.1109/MobileCloud.2018.00019},

year  = {2018},

date = {2018-01-01},

booktitle = {International Conference on Mobile Cloud Computing, Services, 

 and Engineering},

pages = {73--78},

publisher = {IEEE Computer Society},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/caise/CorradiniP0RT17,

title = {Supporting Multi-layer Modeling in BPMN Collaborations},

author = {Flavio Corradini and Andrea Polini and Barbara Re and Lorenzo Rossi and Francesco Tiezzi},

url = {https://doi.org/10.1007/978-3-319-68185-6_4},

doi = {10.1007/978-3-319-68185-6_4},

year  = {2017},

date = {2017-01-01},

booktitle = {Enterprise and Organizational Modeling and Simulation},

volume = {298},

pages = {53--67},

publisher = {Springer},

series = {LNBIP},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/caise/BettacchiPR16,

title = {Understanding Production Chain Business Process Using Process Mining: 

 A Case Study in the Manufacturing Scenario},

author = {Alessandro Bettacchi and Alberto Polzonetti and Barbara Re},

url = {https://doi.org/10.1007/978-3-319-39564-7_19},

doi = {10.1007/978-3-319-39564-7_19},

year  = {2016},

date = {2016-01-01},

booktitle = {Advanced Information Systems Engineering Workshops},

volume = {249},

pages = {193--203},

publisher = {Springer},

series = {LNBIP},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/facs2/CorradiniPRT15,

title = {An Operational Semantics of BPMN Collaboration},

author = {Flavio Corradini and Andrea Polini and Barbara Re and Francesco Tiezzi},

url = {https://doi.org/10.1007/978-3-319-28934-2_9},

doi = {10.1007/978-3-319-28934-2_9},

year  = {2015},

date = {2015-01-01},

booktitle = {Formal Aspects of Component Software},

volume = {9539},

pages = {161--180},

publisher = {Springer},

series = {LNCS},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}