@misc{indiciae3f74274a131e,
  title = {Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications},
  author = {Marco Bernardo and Edoardo Bontà and Alessandro Aldini},
  year = {2018},
  url = {https://arxiv.org/abs/1805.11676},
  note = {Source identifier: 1805.11676}
}