Compatibility checking for asynchronously communicating software

Meriem Ouederni. Compatibility checking for asynchronously communicating software. Science of Computer Programming, 205:102569, 2021. [doi]

Abstract

Abstract is missing.