Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts.

Kohei Suenaga, Naoki Kobayashi

Browse the full ESOP paper archive.