Hans-J. Boehm
-
Source Transformation for Concurrency Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)