A Linear Logic Based Approach for Generating Deadlock Adapters.

Lu Jin, Jian Wu

Browse the full APSCC paper archive.