Formal execution semantics for asynchronous constructs of AADL.

Jiale Zhou, Andreas Johnsen, Kristina Lundqvist

Browse the full MODELS paper archive.