TY  - RPRT
TI  - Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications
AU  - Marco Bernardo
AU  - Edoardo Bontà
AU  - Alessandro Aldini
PY  - 2018
UR  - https://arxiv.org/abs/1805.11676
ID  - 1805.11676
ER  -