@article{AUTILI2019,
author = "Marco Autili and Paola Inverardi and Romina Spalazzese and Massimo Tivoli and Filippo Mignosi",
title = "Automated Synthesis of Application-layer Connectors from Automata-based Specifications",
journal = "Journal of Computer and System Sciences",
year = "2019",
issn = "0022-0000",
doi = "https://doi.org/10.1016/j.jcss.2019.03.001",
url = "http://www.sciencedirect.com/science/article/pii/S0022000019300248",
keywords = "Automated Mediator Synthesis, Interoperability, Protocols, Heterogeneous Applications, Communication & Coordination, Protocol Mismatches"
}