Compositional Model Extraction for Higher-Order Concurrent Programs.

Dan R. Ghica, Andrzej S. Murawski

Browse the full TACAS paper archive.