A General Approach to Deadlock Freedom Verification for Software Architectures.

Alessandro Aldini, Marco Bernardo

Browse the full FM paper archive.