Formalizing Reusable Aspect-Oriented Concurrency Control.

Neelam Soundarajan, Derek Bronish, Raffi Khatchadourian

Browse the full SEKE paper archive.