Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation

Marco Bernardo, Edoardo Bontà, Alessandro Aldini. Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. Journal of Systems and Software, 83(8):1404-1429, 2010. [doi]

Authors

Marco Bernardo

This author has not been identified. It may be one of the following persons: Look up 'Marco Bernardo' in Google

Edoardo Bontà

This author has not been identified. Look up 'Edoardo Bontà' in Google

Alessandro Aldini

This author has not been identified. Look up 'Alessandro Aldini' in Google