An Application of Temporal Projection to Interleaving Concurrency.

Ben C. Moszkowski, Dimitar P. Guelev

Browse the full SETTA paper archive.