Impredicative Concurrent Abstract Predicates.

Kasper Svendsen, Lars Birkedal

Browse the full ESOP paper archive.