Angelic Semantics of Fine-Grained Concurrency.

Dan R. Ghica, Andrzej S. Murawski

Browse the full FOSSACS paper archive.