Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications

Marco Bernardo, Edoardo Bontà, Alessandro Aldini

In the original paper, we showed how to enhance the expressiveness of a typical process algebraic architectural description language by including the capability of representing non…