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

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 nonsynchronous communications. In particular, we extended the language by means of additional qualifiers enabling the desig...

Full description

Saved in:
Bibliographic Details
Main Authors Bernardo, Marco, Bontà, Edoardo, Aldini, Alessandro
Format Journal Article
LanguageEnglish
Published 05.05.2018
Subjects
Computer Science - Software Engineering
Online AccessGet full text

Cover

Be the first to leave a comment!
You must be logged in first